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

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h104 ARMSuperSection enumerator in enum:vm_page_size
127 case ARMSuperSection:
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c166 page_size = ARMSuperSection;
172 page_size = ARMSuperSection;
381 case ARMSuperSection:
388 case ARMSuperSection:
461 ret.frameSize = ARMSuperSection;
469 ret.frameBase &= ~MASK(pageBitsForSize(ARMSuperSection));
470 ret.frameSize = ARMSuperSection;
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c229 phys += BIT(pageBitsForSize(ARMSuperSection));
782 ret.frameSize = ARMSuperSection;
790 ret.frameBase &= ~MASK(pageBitsForSize(ARMSuperSection));
791 ret.frameSize = ARMSuperSection;
977 case ARMSuperSection:
1473 case ARMSuperSection: {
1753 case ARMSuperSection:
1757 ret.pde = makeUserPDE(ARMSuperSection, base,
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c462 /** GHOSTUPD: "(True, gs_new_frames vmpage_size.ARMSuperSection
473 /** GHOSTUPD: "(True, gs_new_frames vmpage_size.ARMSuperSection
478 ARMSuperSection, ASID_LOW(asidInvalid), VMReadWrite,

Completed in 86 milliseconds