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

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c789 static exception_t performX86PageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t *ptSlot, pte_t pte, function
1050 return performX86PageInvocationMapPTE(cap, cte, map_ret.ptSlot, map_ret.pte, vspace);

Completed in 27 milliseconds