Searched refs:X86_SmallPage (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h28 X86_SmallPage, enumerator in enum:vm_page_size
57 case X86_SmallPage:
79 case X86_SmallPage:
/seL4-test-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c138 X86_SmallPage, /* capFSize */
/seL4-test-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c201 X86_SmallPage, /* capFSize */
/seL4-test-master/kernel/src/arch/x86/object/
H A Diospace.c322 if (cap_frame_cap_get_capFSize(cap) != X86_SmallPage) {
H A Dobjecttype.c431 return pageBitsForSize(X86_SmallPage);
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c474 frame_size = X86_SmallPage;
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c872 case X86_SmallPage: {
980 case X86_SmallPage: {
H A Dvspace.c59 memzero(frame, BIT(pageBitsForSize(X86_SmallPage)));
720 case X86_SmallPage:
1041 case X86_SmallPage: {
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c769 frame_size = X86_SmallPage;

Completed in 103 milliseconds