Searched refs:osEventFlagsGetName (Results 1 – 3 of 3) sorted by relevance
79 name = osEventFlagsGetName(dummy_id); in test_event_flags_no_wait_timeout()83 name = osEventFlagsGetName(evt_id); in test_event_flags_no_wait_timeout()
211 const char *osEventFlagsGetName(osEventFlagsId_t ef_id) in osEventFlagsGetName() function
533 const char *osEventFlagsGetName(osEventFlagsId_t ef_id);