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

/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/
H A Dstructures.h12 #define PGDE_SIZE_BITS 3 macro
14 #define PGD_SIZE_BITS (PGD_BITS + PGDE_SIZE_BITS)
/seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/
H A Dstructures.h12 #define PGDE_SIZE_BITS 3 macro
14 #define PGD_SIZE_BITS (PGD_BITS + PGDE_SIZE_BITS)
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h43 #define PGDE_SIZE_BITS seL4_PGDEntryBits macro

Completed in 27 milliseconds