Searched refs:seL4_NumASIDPoolsBits (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h219 #define seL4_NumASIDPoolsBits 6 macro
221 #define seL4_NumASIDPoolsBits 7 macro
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h219 #define seL4_NumASIDPoolsBits 6 macro
221 #define seL4_NumASIDPoolsBits 7 macro
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h43 #define seL4_NumASIDPoolsBits 2 macro
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h44 #define seL4_NumASIDPoolsBits 7 macro
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h42 #define seL4_NumASIDPoolsBits 5 macro
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h58 #define seL4_NumASIDPoolsBits 3 macro
/seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h195 #define seL4_NumASIDPoolsBits 7 macro
/seL4-l4v-master/seL4/include/object/
H A Dstructures.h36 asidHighBits = seL4_NumASIDPoolsBits,

Completed in 53 milliseconds