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

/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h36 ARMSmallPageBits = seL4_PageBits, enumerator in enum:frameSizeConstants
45 return ARMSmallPageBits;
/seL4-test-master/kernel/include/arch/arm/arch/model/
H A Dstatedata.h36 extern word_t armKSGlobalsFrame[BIT(ARMSmallPageBits) / sizeof(word_t)];
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h109 ARMSmallPageBits = seL4_PageBits, enumerator in enum:frameSizeConstants
119 return ARMSmallPageBits;
/seL4-test-master/kernel/src/arch/arm/32/model/
H A Dstatedata.c19 word_t armKSGlobalsFrame[BIT(ARMSmallPageBits) / sizeof(word_t)]
20 ALIGN_BSS(BIT(ARMSmallPageBits));
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h16 extern word_t armKSGlobalsFrame[BIT(ARMSmallPageBits) / sizeof(word_t)] VISIBLE;
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c354 return ARMSmallPageBits;
388 (unat ARMSmallPageBits))" */
394 (unat ARMSmallPageBits))" */
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c361 return ARMSmallPageBits;
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c39 #define PAGES_PER_LARGE_PAGE BIT(ARMLargePageBits - ARMSmallPageBits)
1540 assert((vptr & MASK(PT_INDEX_BITS + ARMSmallPageBits)) == 0);
2032 memzero(frame, 1 << ARMSmallPageBits);
2879 offset = vaddr & MASK(ARMSmallPageBits);
2884 offset = vaddr & MASK(ARMSmallPageBits);

Completed in 55 milliseconds