Searched defs:ntfnPtr (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/kernel/include/object/ |
| H A D | notification.h | 23 static inline void maybeReturnSchedContext(notification_t *ntfnPtr, tcb_t *tcb) argument
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | notification.c | 19 static inline tcb_queue_t PURE ntfn_ptr_get_queue(notification_t *ntfnPtr) argument
29 static inline void ntfn_ptr_set_queue(notification_t *ntfnPtr, tcb_queue_t ntfn_queue) argument
35 static inline void ntfn_set_active(notification_t *ntfnPtr, word_t badge) argument
42 static inline void maybeDonateSchedContext(tcb_t *tcb, notification_t *ntfnPtr) argument
76 sendSignal(notification_t *ntfnPtr, word_t badge) argument
164 notification_t *ntfnPtr; local
209 cancelAllSignals(notification_t *ntfnPtr) argument
231 cancelSignal(tcb_t *threadPtr, notification_t *ntfnPtr) argument
252 completeSignal(notification_t *ntfnPtr, tcb_t *tcb) argument
268 doUnbindNotification(notification_t *ntfnPtr, tcb_t *tcbptr) argument
274 unbindMaybeNotification(notification_t *ntfnPtr) argument
286 notification_t *ntfnPtr; local
294 bindNotification(tcb_t *tcb, notification_t *ntfnPtr) argument
301 reorderNTFN(notification_t *ntfnPtr, tcb_t *thread) argument
[all...] |
| H A D | endpoint.c | 133 notification_t *ntfnPtr; local
|
| H A D | tcb.c | 1594 notification_t *ntfnPtr; local
2027 exception_t invokeTCB_NotificationControl(tcb_t *tcb, notification_t *ntfnPtr) argument
|
| /seL4-camkes-master/kernel/src/api/ |
| H A D | syscall.c | 557 notification_t *ntfnPtr; local
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 1283 notification_t *ntfnPtr = tcb->tcbBoundNotification; local
|
Completed in 105 milliseconds