Searched refs:el_wait_counter (Results 1 – 2 of 2) sorted by relevance
184 ipc_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_initialize()737 wait_eventlink->el_wait_counter != UINT64_MAX) { in ipc_eventlink_signal_wait_internal()752 wait_eventlink->el_wait_counter = *count; in ipc_eventlink_signal_wait_internal()872 signal_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_signal_internal_locked()885 if (signal_eventlink->el_sync_counter > signal_eventlink->el_wait_counter) { in ipc_eventlink_signal_internal_locked()891 signal_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_signal_internal_locked()
73 uint64_t el_wait_counter; /* Counter passed in eventlink wait */ member