Searched defs:CURRENT_CPU_INDEX (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/include/model/ | ||
| H A D | statedata.h | 31 #define CURRENT_CPU_INDEX() getCurrentCPUIndex() macro 51 #define CURRENT_CPU_INDEX() 0 macro |
Completed in 23 milliseconds