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

/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h17 #define PTE_SIZE_BITS 2 macro
19 #define PT_SIZE_BITS (PT_BITS + PTE_SIZE_BITS)
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/
H A Dstructures.h24 #define PTE_SIZE_BITS seL4_PageTableEntryBits macro
/seL4-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h61 #define PTE_SIZE_BITS seL4_PageTableEntryBits macro
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/
H A Dstructures.h51 #define PTE_SIZE_BITS seL4_PageTableEntryBits macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h48 #define PTE_SIZE_BITS seL4_PageTableEntryBits macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h45 #define PTE_SIZE_BITS seL4_PageTableEntryBits macro
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c362 return PTE_SIZE_BITS + PT_INDEX_BITS;
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c43 #define LAST_BYTE_PTE(PTE,LENGTH) ((word_t)&(PTE)[(LENGTH)-1] + (BIT(PTE_SIZE_BITS)-1))

Completed in 96 milliseconds