Searched refs:PUD_SIZE_BITS (Results 1 - 5 of 5) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Dstructures.c13 uint64_t _boot_pud_up[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
18 uint64_t _boot_pud_down[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Dstructures.c13 uint64_t _boot_pud_up[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
18 uint64_t _boot_pud_down[BIT(PUD_BITS)] ALIGN(BIT(PUD_SIZE_BITS));
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/
H A Dstructures.h18 #define PUD_SIZE_BITS (PUD_BITS + PUDE_SIZE_BITS) macro
/seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/
H A Dstructures.h18 #define PUD_SIZE_BITS (PUD_BITS + PUDE_SIZE_BITS) macro
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h41 #define PUD_SIZE_BITS 12 macro

Completed in 58 milliseconds