X86_SmallPage (reference) in projects: seL4-master

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

/seL4-master/include/arch/x86/arch/machine/
A D	hardware.h	`28 X86_SmallPage, enumerator 57 case X86_SmallPage: in pageBitsForSize() 79 case X86_SmallPage: in pageBitsForSize_phys()`
/seL4-master/src/arch/x86/32/object/
A D	objecttype.c	`138 X86_SmallPage, /* capFSize */ in Mode_createObject()`
/seL4-master/src/arch/x86/64/object/
A D	objecttype.c	`201 X86_SmallPage, /* capFSize */ in Mode_createObject()`
/seL4-master/src/arch/x86/32/kernel/
A D	vspace.c	`474 frame_size = X86_SmallPage; in create_it_frame_cap()`
/seL4-master/src/arch/x86/object/
A D	objecttype.c	`431 return pageBitsForSize(X86_SmallPage); in Arch_getObjectSize()`
A D	iospace.c	`320 if (cap_frame_cap_get_capFSize(cap) != X86_SmallPage) { in decodeX86IOMapInvocation()`
/seL4-master/src/arch/x86/kernel/
A D	vspace.c	`59 memzero(frame, BIT(pageBitsForSize(X86_SmallPage))); in performASIDControlInvocation() 720 case X86_SmallPage: in unmapPage() 1040 case X86_SmallPage: { in decodeX86FrameInvocation()`
A D	ept.c	`865 case X86_SmallPage: { in decodeX86EPTPageMap() 973 case X86_SmallPage: { in unmapEPTPage()`
/seL4-master/src/arch/x86/64/kernel/
A D	vspace.c	`769 frame_size = X86_SmallPage; in create_it_frame_cap()`

Completed in 19 milliseconds