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

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c722 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap; local
724 if (unlikely(cap_get_capType(lvl1ptCap) != cap_page_table_cap ||
725 cap_page_table_cap_get_capPTIsMapped(lvl1ptCap) == asidInvalid)) {
733 pte_t *lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(lvl1ptCap));
734 asid_t asid = cap_page_table_cap_get_capPTMappedASID(lvl1ptCap);
810 cap_t lvl1ptCap = extraCaps.excaprefs[0]->cap; local
815 if (unlikely(cap_get_capType(lvl1ptCap) != cap_page_table_cap ||
816 !cap_page_table_cap_get_capPTIsMapped(lvl1ptCap))) {
823 pte_t *lvl1pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(lvl1ptCap));
824 asid_t asid = cap_page_table_cap_get_capPTMappedASID(lvl1ptCap);
[all...]

Completed in 73 milliseconds