2672 	struct pmap *pmap, *oldpmap;  in pmap_load()  local
2700 	oldpmap = ci->ci_pmap;  in pmap_load()
2703 	if (pmap == oldpmap) {  in pmap_load()
2728 	kcpuset_atomic_clear(oldpmap->pm_cpus, cid);  in pmap_load()
2729 	kcpuset_atomic_clear(oldpmap->pm_kernel_cpus, cid);  in pmap_load()
2732 	KASSERT(pmap_pdirpa(oldpmap, 0) == ci->ci_xen_current_user_pgd ||  in pmap_load()
2733 	    oldpmap == pmap_kernel());  in pmap_load()
2735 	KASSERT(pmap_pdirpa(oldpmap, 0) == pmap_pte2pa(ci->ci_pae_l3_pdir[0]));  in pmap_load()
2737 	KASSERT(pmap_pdirpa(oldpmap, 0) == pmap_pte2pa(rcr3()));  in pmap_load()
2772 	cpu_load_pmap(pmap, oldpmap);  in pmap_load()
2782 	pmap_destroy(oldpmap);  in pmap_load()