Home
last modified time | relevance | path

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

/seL4-master/include/arch/arm/arch/64/mode/machine/
A Dhardware.h31 ARMHugePage enumerator
50 case ARMHugePage: in pageBitsForSize()
/seL4-master/src/arch/arm/64/machine/
A Dcapdl.c434 case ARMHugePage: in obj_frame_print_attrs()
499 ret.frameSize = ARMHugePage; in arm64_obj_pud_print_slots()
/seL4-master/src/arch/arm/64/object/
A Dobjecttype.c413 ARMHugePage, /* capFSize */ in Arch_createObject()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c764 ret.frameSize = ARMHugePage; in lookupFrame()
1376 case ARMHugePage: { in unmapPage()

Completed in 11 milliseconds