event_ID_t
STORAGE_CLASS_EVENT_C void event_wait_for(const event_ID_t ID)
STORAGE_CLASS_EVENT_C void cnd_event_wait_for(const event_ID_t ID,
STORAGE_CLASS_EVENT_C hrt_data event_receive_token(const event_ID_t ID)
STORAGE_CLASS_EVENT_C void event_send_token(const event_ID_t ID,
STORAGE_CLASS_EVENT_C bool is_event_pending(const event_ID_t ID)
STORAGE_CLASS_EVENT_C bool can_event_send_token(const event_ID_t ID)
const event_ID_t ID);
const event_ID_t ID,
const event_ID_t ID);
const event_ID_t ID,
const event_ID_t ID);
const event_ID_t ID);