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

/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h31 ARMHugePage enumerator in enum:vm_page_size
50 case ARMHugePage:
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c431 case ARMHugePage:
496 ret.frameSize = ARMHugePage;
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c413 ARMHugePage, /* capFSize */
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c759 ret.frameSize = ARMHugePage;
1371 case ARMHugePage: {

Completed in 41 milliseconds