Searched refs:ARM_1GB_BLOCK_BITS (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/
H A Dmmu.c31 _boot_pud_down[i] = (i << ARM_1GB_BLOCK_BITS)
44 if ((first_vaddr & ~MASK(ARM_1GB_BLOCK_BITS)) != (last_vaddr & ~MASK(ARM_1GB_BLOCK_BITS))) {
69 _boot_pud_down[i] = (i << ARM_1GB_BLOCK_BITS)
/seL4-refos-master/tools/elfloader/src/arch-arm/64/
H A Dmmu.c31 _boot_pud_down[i] = (i << ARM_1GB_BLOCK_BITS)
44 if ((first_vaddr & ~MASK(ARM_1GB_BLOCK_BITS)) != (last_vaddr & ~MASK(ARM_1GB_BLOCK_BITS))) {
69 _boot_pud_down[i] = (i << ARM_1GB_BLOCK_BITS)
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h10 #define ARM_1GB_BLOCK_BITS 30 macro
/seL4-refos-master/tools/elfloader/include/arch-arm/32/mode/
H A Dstructures.h10 #define ARM_1GB_BLOCK_BITS 30 macro
/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/64/mode/
H A Dstructures.h9 #define ARM_1GB_BLOCK_BITS 30 macro
/seL4-refos-master/tools/elfloader/include/arch-arm/64/mode/
H A Dstructures.h9 #define ARM_1GB_BLOCK_BITS 30 macro

Completed in 28 milliseconds