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

/seL4-camkes-master/tools/riscv-pk/pk/
H A Dmmap.c115 static pte_t* __walk(uintptr_t addr) function
127 pte_t* pte = __walk(vaddr);
171 pte_t* pte = __walk(vaddr);
216 pte_t* pte = __walk(a);
337 pte_t* pte = __walk(a);

Completed in 31 milliseconds