Searched refs:ARMSuperSectionBits (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h112 ARMSuperSectionBits = seL4_SuperSectionBits enumerator in enum:frameSizeConstants
128 return ARMSuperSectionBits;
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c360 return ARMSuperSectionBits;
464 (unat ARMSuperSectionBits))" */
475 (unat ARMSuperSectionBits))" */
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c38 #define SECTIONS_PER_SUPER_SECTION BIT(ARMSuperSectionBits - ARMSectionBits)

Completed in 86 milliseconds