Lines Matching refs:ID
27 STORAGE_CLASS_EVENT_C void event_wait_for(const event_ID_t ID)
29 assert(ID < N_EVENT_ID);
30 assert(event_source_addr[ID] != ((hrt_address) - 1));
31 (void)ia_css_device_load_uint32(event_source_addr[ID]);
35 STORAGE_CLASS_EVENT_C void cnd_event_wait_for(const event_ID_t ID,
39 event_wait_for(ID);
43 STORAGE_CLASS_EVENT_C hrt_data event_receive_token(const event_ID_t ID)
45 assert(ID < N_EVENT_ID);
46 assert(event_source_addr[ID] != ((hrt_address) - 1));
47 return ia_css_device_load_uint32(event_source_addr[ID]);
50 STORAGE_CLASS_EVENT_C void event_send_token(const event_ID_t ID,
53 assert(ID < N_EVENT_ID);
54 assert(event_sink_addr[ID] != ((hrt_address) - 1));
55 ia_css_device_store_uint32(event_sink_addr[ID], token);
58 STORAGE_CLASS_EVENT_C bool is_event_pending(const event_ID_t ID)
62 assert(ID < N_EVENT_ID);
63 assert(event_source_query_addr[ID] != ((hrt_address) - 1));
64 value = ia_css_device_load_uint32(event_source_query_addr[ID]);
68 STORAGE_CLASS_EVENT_C bool can_event_send_token(const event_ID_t ID)
72 assert(ID < N_EVENT_ID);
73 assert(event_sink_query_addr[ID] != ((hrt_address) - 1));
74 value = ia_css_device_load_uint32(event_sink_query_addr[ID]);