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

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c168 pte_t *targetSlot; local
178 targetSlot = pt_ret.ptSlot;
180 *targetSlot = pte_new(
205 pte_t *targetSlot = lu_ret.ptSlot; local
207 *targetSlot = pte_new(
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c423 pte_t *targetSlot; local
432 targetSlot = pt + ((vptr & MASK(pageBitsForSize(ARMSection)))
435 *targetSlot = pte_pte_small_new(
447 *targetSlot = pte_pte_small_new(
494 pde_t *targetSlot = pd + (vptr >> pageBitsForSize(ARMSection)); local
499 *targetSlot = pde_pde_coarse_new(
505 *targetSlot = pde_pde_coarse_new(addrFromPPtr(pt));

Completed in 38 milliseconds