Searched refs:pageTableMapped (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/ |
H A D | vspace.h | 38 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt);
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1092 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) function 1223 pd = pageTableMapped(asid, vaddr, pt);
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1260 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) function 1316 pdSlot = pageTableMapped(asid, vaddr, pt);
|
Completed in 43 milliseconds