Searched refs:seL4_ASIDPoolIndexBits (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | constants.h | 45 #define seL4_ASIDPoolIndexBits 10 macro 55 SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | constants.h | 60 #define seL4_ASIDPoolIndexBits 9 macro 72 SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | constants.h | 224 #define seL4_ASIDPoolIndexBits 10 macro 236 SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | constants.h | 224 #define seL4_ASIDPoolIndexBits 10 macro 236 SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | constants.h | 197 #define seL4_ASIDPoolIndexBits 9 macro 241 SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | constants.h | 45 #define seL4_ASIDPoolIndexBits 9 macro
|
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | constants.h | 43 #define seL4_ASIDPoolIndexBits 4 macro
|
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/object/ |
H A D | structures.h | 54 #define ASID_POOL_INDEX_BITS seL4_ASIDPoolIndexBits
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/object/ |
H A D | structures.h | 105 #define ASID_POOL_INDEX_BITS seL4_ASIDPoolIndexBits
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/object/ |
H A D | structures.h | 114 #define ASID_POOL_INDEX_BITS seL4_ASIDPoolIndexBits
|
/seL4-l4v-master/seL4/include/object/ |
H A D | structures.h | 37 asidLowBits = seL4_ASIDPoolIndexBits
|
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/object/ |
H A D | structures.h | 102 #define ASID_POOL_INDEX_BITS seL4_ASIDPoolIndexBits
|
Completed in 63 milliseconds