Searched defs:nodeID (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/libsel4/include/sel4/ | ||
| H A D | bootinfo_types.h | 59 seL4_NodeId nodeID; /* ID [0..numNodes-1] of the seL4 node (0 if uniprocessor) */ member in struct:seL4_BootInfo |
Completed in 24 milliseconds