Searched refs:ARMSectionBits (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h111 ARMSectionBits = seL4_SectionBits, enumerator in enum:frameSizeConstants
125 return ARMSectionBits;
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h67 (PD_ASID_SLOT + 0) << ARMSectionBits,
68 (PD_ASID_SLOT + 1) << ARMSectionBits
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c358 return ARMSectionBits;
435 (unat ARMSectionBits))" */
446 (unat ARMSectionBits))" */
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c38 #define SECTIONS_PER_SUPER_SECTION BIT(ARMSuperSectionBits - ARMSectionBits)
1241 for (i = PPTR_BASE >> ARMSectionBits; i < BIT(PD_INDEX_BITS); i++) {
2870 offset = vaddr & MASK(ARMSectionBits);

Completed in 381 milliseconds