Searched refs:lvl1pt (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 16 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level);
17 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt);
63 printf("}\n"); /* lvl1pt/pt */
79 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(TCB_PTR_CTE_PTR(tcb, tcbVTable)->cap)); local
81 riscv_cap_pt_print_slots(lvl1pt, 0, CONFIG_PT_LEVELS);
112 static void cap_frame_print_attrs_vptr(word_t vptr, pte_t *lvl1pt) argument
114 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vptr);
194 static void riscv_obj_pt_print_slots(pte_t *lvl1pt, pte_t *pt, int level) argument
204 riscv_obj_pt_print_slots(lvl1pt, getPPtrFromHWPTE(ptSlot), level - 1);
218 pte_t *lvl1pt local
[all...] |
| /seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 44 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr);
58 pte_t lvl1pt, pte_t *ptSlot);
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 170 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap)); local
176 pt_ret = lookupPTSlot(lvl1pt, vptr);
197 pte_t *lvl1pt = PTE_PTR(pptr_of_cap(vspace_cap)); local
202 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, frame_vptr);
390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr) argument
395 pte_t *pt = lvl1pt;
580 pte_t *lvl1pt; local
590 lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(threadRoot));
594 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != lvl1pt)) {
599 setVSpaceRoot(addrFromPPtr(lvl1pt), asi
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 38 milliseconds