Searched refs:ci_xen_current_user_pgd (Results 1 – 2 of 2) sorted by relevance
196 paddr_t ci_xen_current_user_pgd; member
2626 KASSERT(pmap_pdirpa(pmap, 0) == ci->ci_xen_current_user_pgd); in pmap_reactivate()2732 KASSERT(pmap_pdirpa(oldpmap, 0) == ci->ci_xen_current_user_pgd || in pmap_load()2844 KASSERT(pmap_pdirpa(pmap, 0) == ci->ci_xen_current_user_pgd); in pmap_deactivate()