Home
last modified time | relevance | path

Searched refs:NtfnState_Waiting (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/object/
A Dnotification.c143 case NtfnState_Waiting: { in sendSignal()
204 case NtfnState_Waiting: { in receiveSignal()
219 notification_ptr_set_state(ntfnPtr, NtfnState_Waiting); in receiveSignal()
251 if (notification_ptr_get_state(ntfnPtr) == NtfnState_Waiting) { in cancelAllSignals()
287 assert(notification_ptr_get_state(ntfnPtr) == NtfnState_Waiting); in cancelSignal()
/seL4-master/include/object/
A Dstructures.h50 NtfnState_Waiting = 1, enumerator

Completed in 3 milliseconds