Home
last modified time | relevance | path

Searched refs:NtfnState_Active (Results 1 – 6 of 6) sorted by relevance

/seL4-master/src/object/
A Dnotification.c37 notification_ptr_set_state(ntfnPtr, NtfnState_Active); in ntfn_set_active()
184 case NtfnState_Active: { in sendSignal()
232 case NtfnState_Active: in receiveSignal()
307 if (likely(tcb && notification_ptr_get_state(ntfnPtr) == NtfnState_Active)) { in completeSignal()
A Dendpoint.c156 if (ntfnPtr && notification_ptr_get_state(ntfnPtr) == NtfnState_Active) { in receiveIPC()
/seL4-master/src/arch/x86/
A Dc_traps.c110 …&& notification_ptr_get_state(NODE_STATE(ksCurThread)->tcbBoundNotification) == NtfnState_Active) { in slowpath()
/seL4-master/include/object/
A Dstructures.h51 NtfnState_Active = 2 enumerator
/seL4-master/src/fastpath/
A Dfastpath.c280 … notification_ptr_get_state(NODE_STATE(ksCurThread)->tcbBoundNotification) == NtfnState_Active)) { in fastpath_reply_recv()
/seL4-master/src/arch/x86/object/
A Dvcpu.c1284 && ntfnPtr && notification_ptr_get_state(ntfnPtr) == NtfnState_Active) { in VMCheckBoundNotification()

Completed in 9 milliseconds