Searched refs:PDE_SIZE_BITS (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h13 #define PDE_SIZE_BITS 2 macro
15 #define PD_SIZE_BITS (PD_BITS + PDE_SIZE_BITS)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h22 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h49 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c364 return PDE_SIZE_BITS + PD_INDEX_BITS;
504 (word_t)regionBase + (1 << (PD_INDEX_BITS + PDE_SIZE_BITS)) - 1,
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h46 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h44 #define PDE_SIZE_BITS seL4_PageDirEntryBits macro
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c44 #define LAST_BYTE_PDE(PDE,LENGTH) ((word_t)&(PDE)[(LENGTH)-1] + (BIT(PDE_SIZE_BITS)-1))

Completed in 121 milliseconds