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

/seL4-camkes-master/tools/riscv-pk/pk/
H A Dmmap.c166 static int __handle_page_fault(uintptr_t vaddr, int prot) function
207 int ret = __handle_page_fault(vaddr, prot);
256 kassert(__handle_page_fault(a, prot) == 0);

Completed in 76 milliseconds