|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
OSAdapter FSOU operations vtable. More...
#include <rte_osadapter_fsou.h>
Data Fields | |
| rte_status_t(*) | grant (uint32_t cycle_id) |
| rte_status_t(*) | revoke (rte_safestate_reason_t reason) |
OSAdapter FSOU operations vtable.
Each channel (A and B) owns its own FSOU input; the FSOU hardware does the AND of both channels' permissions in the current cycle window (ADR-041). A slot may be NULL: the matching rte_fsou_*() call then returns RTE_STATUS_NOT_SUPPORTED.
Definition at line 30 of file rte_osadapter_fsou.h.
| rte_status_t(*) rte_osadapter_fsou_t::grant(uint32_t cycle_id) |
Grants this channel's output permission for cycle cycle_id.
Definition at line 33 of file rte_osadapter_fsou.h.
| rte_status_t(*) rte_osadapter_fsou_t::revoke(rte_safestate_reason_t reason) |
Withdraws this channel's output permission at once, for reason.
Definition at line 35 of file rte_osadapter_fsou.h.