Searched refs:frame_size (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dboot.c62 vm_page_size_t frame_size; local
65 frame_size = RISCV_Mega_Page;
67 frame_size = RISCV_4K_Page;
73 frame_size, /* capFSize */
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace.c492 vm_page_size_t frame_size; local
495 frame_size = X86_LargePage;
497 frame_size = X86_SmallPage;
502 frame_size, /* capFSize */
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c794 vm_page_size_t frame_size; local
797 frame_size = X86_LargePage;
799 frame_size = X86_SmallPage;
806 frame_size, /* capFSize */
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c375 vm_page_size_t frame_size; local
377 frame_size = ARMLargePage;
379 frame_size = ARMSmallPage;
385 frame_size, /* capFSize */

Completed in 107 milliseconds