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

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c264 cap_t lvl1pt_cap; local
269 lvl1pt_cap =
278 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadVSpace), lvl1pt_cap);
287 create_it_pt_cap(lvl1pt_cap, it_alloc_paging(), pt_vptr, IT_ASID))
300 return lvl1pt_cap;

Completed in 25 milliseconds