Searched refs:awaken (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/include/kernel/ | ||
| H A D | thread.h | 294 void awaken(void); |
| /seL4-test-master/kernel/src/kernel/ | ||
| H A D | thread.c | 346 awaken(); 666 void awaken(void) function |
Completed in 34 milliseconds