Searched defs:lookupPTSlot (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c616 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) function
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr) function
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c733 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr) function
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c715 static lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) function

Completed in 119 milliseconds