Searched refs:WAKE (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ | ||
H A D | seL4IOAPICHardwareInterrupt.template.c | 63 #define WAKE() seL4_Signal(/*? lock ?*/) macro 91 WAKE(); |
Completed in 27 milliseconds