Searched refs:X86_LargePage (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h29 X86_LargePage, enumerator in enum:vm_page_size
60 case X86_LargePage:
82 case X86_LargePage:
/seL4-test-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c78 if (unlikely(cap_frame_cap_get_capFSize(cap) == X86_LargePage)) {
150 X86_LargePage, /* capFSize */
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c472 frame_size = X86_LargePage;
685 if (frameSize != X86_LargePage) {
/seL4-test-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c225 X86_LargePage, /* capFSize */
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c433 return pageBitsForSize(X86_LargePage);
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c904 case X86_LargePage: {
997 case X86_LargePage: {
H A Dvspace.c733 case X86_LargePage:
1054 case X86_LargePage: {
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c767 frame_size = X86_LargePage;
1650 if (frameSize != X86_LargePage) {

Completed in 55 milliseconds