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

/seL4-master/src/arch/x86/kernel/
A D	vspace.c	799 static exception_t performX86PageInvocationMapPDE(cap_t cap, cte_t *ctSlot, pde_t *pdSlot, pde_t pd… in performX86PageInvocationMapPDE() function 1062 return performX86PageInvocationMapPDE(cap, cte, map_ret.pdSlot, map_ret.pde, vspace); in decodeX86FrameInvocation()

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023