Searched refs:performPageTableInvocationMap (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 57 exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot,
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 792 return performPageTableInvocationMap(cap, cte, pte, ptSlot); 1079 exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, function
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1871 static exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, function 2275 return performPageTableInvocationMap(cap, cte, pde, pdSlot);
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1541 static exception_t performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pde_t pde, pde_t *pdSlot) function 2059 return performPageTableInvocationMap(cap, cte, pde, pdSlot.pdSlot);
|
Completed in 44 milliseconds