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()736 wait_eventlink->el_wait_counter != UINT64_MAX) { in ipc_eventlink_signal_wait_internal()751 wait_eventlink->el_wait_counter = *count; in ipc_eventlink_signal_wait_internal()870 signal_eventlink->el_wait_counter = UINT64_MAX; in ipc_eventlink_signal_internal_locked()884 if (signal_eventlink->el_sync_counter > signal_eventlink->el_wait_counter) { in ipc_eventlink_signal_internal_locked()889 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