Searched defs:PD_INDEX_BITS (Results 1 – 4 of 4) sorted by relevance
23 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
50 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
47 #define PD_INDEX_BITS seL4_PageDirIndexBits macro
Completed in 12 milliseconds