Searched refs:lookupPTSlot_nofail (Results 1 - 1 of 1) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ | ||
| H A D | vspace.c | 804 lookupPTSlot_nofail(pte_t *pt, vptr_t vptr) function 845 pte_t *pte = lookupPTSlot_nofail(pt, vaddr); |
Completed in 74 milliseconds