Searched refs:ntfnPtr (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/src/object/ |
| A D | notification.c | 56 #define MCS_DO_IF_SC(tcb, ntfnPtr, _block) \ argument
57 maybeDonateSchedContext(tcb, ntfnPtr); \
62 #define MCS_DO_IF_SC(tcb, ntfnPtr, _block) \ argument
80 MCS_DO_IF_SC(tcb, ntfnPtr, { in sendSignal()
164 MCS_DO_IF_SC(dest, ntfnPtr, { in sendSignal()
198 notification_t *ntfnPtr; in receiveSignal() local
350 notification_t *ntfnPtr; in unbindNotification() local
351 ntfnPtr = tcb->tcbBoundNotification; in unbindNotification()
353 if (ntfnPtr) { in unbindNotification()
361 tcb->tcbBoundNotification = ntfnPtr; in bindNotification()
[all …]
|
| A D | endpoint.c | 136 notification_t *ntfnPtr; in receiveIPC() local
155 ntfnPtr = thread->tcbBoundNotification; in receiveIPC()
156 if (ntfnPtr && notification_ptr_get_state(ntfnPtr) == NtfnState_Active) { in receiveIPC()
157 completeSignal(ntfnPtr, thread); in receiveIPC()
165 if (ntfnPtr && isBlocking) { in receiveIPC()
166 maybeReturnSchedContext(ntfnPtr, thread); in receiveIPC()
|
| A D | tcb.c | 1594 notification_t *ntfnPtr; in decodeBindNotification() local
1615 ntfnPtr = NTFN_PTR(cap_notification_cap_get_capNtfnPtr(ntfn_cap)); in decodeBindNotification()
1628 if ((tcb_t *)notification_ptr_get_ntfnQueue_head(ntfnPtr) in decodeBindNotification()
1629 || (tcb_t *)notification_ptr_get_ntfnBoundTCB(ntfnPtr)) { in decodeBindNotification()
1637 return invokeTCB_NotificationControl(tcb, ntfnPtr); in decodeBindNotification()
2027 exception_t invokeTCB_NotificationControl(tcb_t *tcb, notification_t *ntfnPtr) in invokeTCB_NotificationControl() argument
2029 if (ntfnPtr) { in invokeTCB_NotificationControl()
2030 bindNotification(tcb, ntfnPtr); in invokeTCB_NotificationControl()
|
| /seL4-master/include/object/ |
| A D | notification.h | 12 void sendSignal(notification_t *ntfnPtr, word_t badge);
14 void cancelAllSignals(notification_t *ntfnPtr);
15 void cancelSignal(tcb_t *threadPtr, notification_t *ntfnPtr);
16 void completeSignal(notification_t *ntfnPtr, tcb_t *tcb);
17 void unbindMaybeNotification(notification_t *ntfnPtr);
19 void bindNotification(tcb_t *tcb, notification_t *ntfnPtr);
23 static inline void maybeReturnSchedContext(notification_t *ntfnPtr, tcb_t *tcb) in maybeReturnSchedContext() argument
26 sched_context_t *sc = SC_PTR(notification_ptr_get_ntfnSchedContext(ntfnPtr)); in maybeReturnSchedContext()
|
| A D | tcb.h | 215 exception_t invokeTCB_NotificationControl(tcb_t *tcb, notification_t *ntfnPtr);
|
| /seL4-master/src/api/ |
| A D | syscall.c | 552 notification_t *ntfnPtr; in handleRecv() local
554 ntfnPtr = NTFN_PTR(cap_notification_cap_get_capNtfnPtr(lu_ret.cap)); in handleRecv()
555 boundTCB = (tcb_t *)notification_ptr_get_ntfnBoundTCB(ntfnPtr); in handleRecv()
|
| /seL4-master/src/arch/x86/object/ |
| A D | vcpu.c | 1282 notification_t *ntfnPtr = tcb->tcbBoundNotification; in VMCheckBoundNotification() local
1284 && ntfnPtr && notification_ptr_get_state(ntfnPtr) == NtfnState_Active) { in VMCheckBoundNotification()
1286 word_t badge = notification_ptr_get_ntfnMsgIdentifier(ntfnPtr); in VMCheckBoundNotification()
1287 notification_ptr_set_state(ntfnPtr, NtfnState_Idle); in VMCheckBoundNotification()
|
Completed in 14 milliseconds