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

/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/
H A Dstructures.h10 #define ARM_2MB_BLOCK_BITS 21 macro
24 #define GET_PGD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS + PUD_BITS)) & MASK(PGD_BITS))
25 #define GET_PUD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS)) & MASK(PUD_BITS))
26 #define GET_PMD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS)) & MASK(PMD_BITS))
/seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/
H A Dstructures.h10 #define ARM_2MB_BLOCK_BITS 21 macro
24 #define GET_PGD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS + PUD_BITS)) & MASK(PGD_BITS))
25 #define GET_PUD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS)) & MASK(PUD_BITS))
26 #define GET_PMD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS)) & MASK(PMD_BITS))
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/
H A Dmmu.c70 for (i = 0; i < (first_vaddr >> ARM_2MB_BLOCK_BITS); i++) {
71 _lpae_boot_pmd[i] = (i << ARM_2MB_BLOCK_BITS)
76 for (k = 0; k < ((-first_vaddr) >> ARM_2MB_BLOCK_BITS); k++) {
77 _lpae_boot_pmd[i + k] = ((k << ARM_2MB_BLOCK_BITS) + first_paddr)
/seL4-refos-master/tools/elfloader/src/arch-arm/32/
H A Dmmu.c70 for (i = 0; i < (first_vaddr >> ARM_2MB_BLOCK_BITS); i++) {
71 _lpae_boot_pmd[i] = (i << ARM_2MB_BLOCK_BITS)
76 for (k = 0; k < ((-first_vaddr) >> ARM_2MB_BLOCK_BITS); k++) {
77 _lpae_boot_pmd[i + k] = ((k << ARM_2MB_BLOCK_BITS) + first_paddr)
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h11 #define ARM_2MB_BLOCK_BITS 21 macro
/seL4-refos-master/tools/elfloader/include/arch-arm/32/mode/
H A Dstructures.h11 #define ARM_2MB_BLOCK_BITS 21 macro
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Dmmu.c56 first_paddr += BIT(ARM_2MB_BLOCK_BITS);
83 _boot_pmd_up[i] = (((i - pmd_index) << ARM_2MB_BLOCK_BITS) + first_paddr)
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Dmmu.c56 first_paddr += BIT(ARM_2MB_BLOCK_BITS);
83 _boot_pmd_up[i] = (((i - pmd_index) << ARM_2MB_BLOCK_BITS) + first_paddr)

Completed in 32 milliseconds