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

/seL4-camkes-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c44 pt = getPPtrFromHWPTE(upperPtSlot);
204 riscv_obj_pt_print_slots(lvl1pt, getPPtrFromHWPTE(ptSlot), level - 1);
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c385 static inline pte_t *getPPtrFromHWPTE(pte_t *pte) function
408 pt = getPPtrFromHWPTE(ret.ptSlot);
522 pt = getPPtrFromHWPTE(ptSlot);
1172 pptr_t pptr = (pptr_t)(getPPtrFromHWPTE(ret.ptSlot));

Completed in 37 milliseconds