Searched defs:GET_PGD_INDEX (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/64/mode/
H A Dstructures.h24 #define GET_PGD_INDEX(x) (((x) >> (ARM_2MB_BLOCK_BITS + PMD_BITS + PUD_BITS)) & MASK(PGD_BITS)) macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h68 #define GET_PGD_INDEX(x) (((x) >> (PGD_INDEX_OFFSET)) & MASK(PGD_INDEX_BITS)) macro

Completed in 32 milliseconds