Searched refs:ARMSmallPage (Results 1 - 10 of 10) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h29 ARMSmallPage, enumerator in enum:vm_page_size
44 case ARMSmallPage:
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h101 ARMSmallPage, enumerator in enum:vm_page_size
118 case ARMSmallPage:
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c126 page_size = ARMSmallPage;
129 page_size = ARMSmallPage;
144 page_size = ARMSmallPage;
395 case ARMSmallPage:
419 ret.frameSize = ARMSmallPage;
422 ret.frameSize = ARMSmallPage;
438 ret.frameSize = ARMSmallPage;
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c437 case ARMSmallPage:
455 ret.frameSize = ARMSmallPage;
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c157 word_t idx = (vaddr & MASK(pageBitsForSize(ARMSection))) >> pageBitsForSize(ARMSmallPage);
433 >> pageBitsForSize(ARMSmallPage));
811 ret.frameSize = ARMSmallPage;
814 ret.frameSize = ARMSmallPage;
845 case ARMSmallPage: {
904 case ARMSmallPage: {
1385 case ARMSmallPage: {
1622 case ARMSmallPage:
1627 ret.pte = makeUserPTE(ARMSmallPage, base,
1916 pte = pte_pte_small_set_address(pte, base_address + i * BIT(pageBitsForSize(ARMSmallPage)));
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h229 return ARMSmallPage;
/seL4-test-master/kernel/src/arch/arm/object/
H A Diospace.c269 if (generic_frame_cap_get_capFSize(cap) != ARMSmallPage) {
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c180 unmapPage(ARMSmallPage,
386 /** GHOSTUPD: "(True, gs_new_frames vmpage_size.ARMSmallPage
392 /** GHOSTUPD: "(True, gs_new_frames vmpage_size.ARMSmallPage
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c393 ARMSmallPage, /* capFSize */
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c349 frame_size = ARMSmallPage;
780 ret.frameSize = ARMSmallPage;
1337 case ARMSmallPage: {
2147 if (frameSize == ARMSmallPage) {

Completed in 168 milliseconds