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

/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Dstructures.c12 uint64_t _boot_pgd_up[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
17 uint64_t _boot_pgd_down[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Dstructures.c12 uint64_t _boot_pgd_up[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
17 uint64_t _boot_pgd_down[BIT(PGD_BITS)] ALIGN(BIT(PGD_SIZE_BITS));
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/
H A Dstructures.h14 #define PGD_SIZE_BITS (PGD_BITS + PGDE_SIZE_BITS) macro
/seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/
H A Dstructures.h14 #define PGD_SIZE_BITS (PGD_BITS + PGDE_SIZE_BITS) macro
/seL4-refos-master/kernel/src/arch/arm/32/model/
H A Dstatedata.c43 pdeS1_t armHSGlobalPGD[BIT(PGD_INDEX_BITS)] ALIGN_BSS(BIT(PGD_SIZE_BITS));
/seL4-refos-master/kernel/src/arch/arm/64/model/
H A Dstatedata.c86 pgde_t armKSGlobalKernelPGD[BIT(PGD_INDEX_BITS)] ALIGN_BSS(BIT(PGD_SIZE_BITS));
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h39 #define PGD_SIZE_BITS 12 macro
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h78 #define PGD_SIZE_BITS seL4_PGDBits macro

Completed in 89 milliseconds