Searched refs:el_wait_counter (Results 1 – 2 of 2) sorted by relevance
188 ipc_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_initialize()740 wait_eventlink->el_wait_counter != UINT64_MAX) { in ipc_eventlink_signal_wait_internal()755 wait_eventlink->el_wait_counter = *count; in ipc_eventlink_signal_wait_internal()874 signal_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_signal_internal_locked()889 if (signal_eventlink->el_sync_counter > signal_eventlink->el_wait_counter) { in ipc_eventlink_signal_internal_locked()894 signal_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_signal_internal_locked()
74 uint64_t el_wait_counter; /* Counter passed in eventlink wait */ member