Searched defs:lvl1pt (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c79 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); local
112 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt) argument
194 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level) argument
218 pte_t *lvl1pt local
[all...]
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c170 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap)); local
197 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap)); local
390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr) argument
580 pte_t *lvl1pt; local
733 pte_t *lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(lvl1ptCap)); local
823 pte_t *lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(lvl1ptCap)); local
[all...]

Completed in 29 milliseconds