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

/seL4-l4v-master/seL4/src/object/
H A Dinterrupt.c97 cap_t ntfnCap; local
104 ntfnCap = excaps.excaprefs[0]->cap;
107 if (cap_get_capType(ntfnCap) != cap_notification_cap ||
108 !cap_notification_cap_get_capNtfnCanSend(ntfnCap)) {
109 if (cap_get_capType(ntfnCap) != cap_notification_cap) {
120 invokeIRQHandler_SetIRQHandler(irq, ntfnCap, slot);

Completed in 219 milliseconds