Searched refs:sendSignal (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/include/object/
H A Dnotification.h17 void sendSignal(notification_t *ntfnPtr, word_t badge);
/seL4-mcs-10.1.1/src/object/
H A Dinterrupt.c207 sendSignal(NTFN_PTR(cap_notification_cap_get_capNtfnPtr(cap)),
H A Dnotification.c71 sendSignal(notification_t *ntfnPtr, word_t badge) function
H A Dobjecttype.c671 sendSignal(ntfn, badge);

Completed in 29 milliseconds