Searched refs:PT_SIZE_BITS (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/
H A Dstructures.c13 uint32_t _boot_pt[BIT(PT_BITS)] ALIGN(BIT(PT_SIZE_BITS));
/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h19 #define PT_SIZE_BITS (PT_BITS + PTE_SIZE_BITS) macro
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h57 #define PT_SIZE_BITS 12 macro
104 return PT_SIZE_BITS;

Completed in 47 milliseconds