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

/seL4-master/src/arch/arm/64/kernel/
A D	vspace.c	1510 static exception_t performUpperPageDirectoryInvocationUnmap(cap_t cap, cte_t *ctSlot) in performUpperPageDirectoryInvocationUnmap() function 1810 return performUpperPageDirectoryInvocationUnmap(cap, cte); in decodeARMPageUpperDirectoryInvocation()

Completed in 12 milliseconds

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