Searched refs:seL4_PageDirEntryBits (Results 1 - 13 of 13) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/api/ |
| H A D | constants.h | 156 #define seL4_PageDirEntryBits 3 macro
165 #define seL4_PageDirEntryBits 2 macro
183 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 156 #define seL4_PageDirEntryBits 3 macro
165 #define seL4_PageDirEntryBits 2 macro
183 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 156 #define seL4_PageDirEntryBits 3 macro
165 #define seL4_PageDirEntryBits 2 macro
183 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/api/ |
| H A D | constants.h | 40 #define seL4_PageDirEntryBits 2 macro
54 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/ |
| H A D | constants.h | 45 #define seL4_PageDirEntryBits 3 macro
69 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | constants.h | 40 #define seL4_PageDirEntryBits 2 macro
54 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 45 #define seL4_PageDirEntryBits 3 macro
69 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/api/ |
| H A D | constants.h | 135 #define seL4_PageDirEntryBits 3 macro
163 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | constants.h | 135 #define seL4_PageDirEntryBits 3 macro
163 SEL4_SIZE_SANITY(seL4_PageDirEntryBits, seL4_PageDirIndexBits, seL4_PageDirBits);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/object/ |
| H A D | structures.h | 27 #define PDE_SIZE_BITS seL4_PageDirEntryBits
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/object/ |
| H A D | structures.h | 56 #define PDE_SIZE_BITS seL4_PageDirEntryBits
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 45 #define PDE_SIZE_BITS seL4_PageDirEntryBits
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 45 #define PDE_SIZE_BITS seL4_PageDirEntryBits
|
Completed in 176 milliseconds