Searched refs:seL4_RISCV_Mega_Page (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dobjecttype.h16 seL4_RISCV_Mega_Page, enumerator in enum:_object
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dobject.h30 case seL4_RISCV_Mega_Page:
H A Dkobject_t.h63 return seL4_RISCV_Mega_Page;
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h45 #define seL4_ARCH_LargePageObject seL4_RISCV_Mega_Page
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c178 case seL4_RISCV_Mega_Page:
221 case seL4_RISCV_Mega_Page: {
321 case seL4_RISCV_Mega_Page:

Completed in 54 milliseconds