xen_current_cr3   124 arch/x86/xen/mmu_pv.c DEFINE_PER_CPU(unsigned long, xen_current_cr3);	 /* actual vcpu cr3 */
xen_current_cr3  1002 arch/x86/xen/mmu_pv.c 	if (this_cpu_read(xen_current_cr3) == __pa(mm->pgd))
xen_current_cr3  1021 arch/x86/xen/mmu_pv.c 			if (per_cpu(xen_current_cr3, cpu) != __pa(mm->pgd))
xen_current_cr3  1037 arch/x86/xen/mmu_pv.c 		if (per_cpu(xen_current_cr3, cpu) == __pa(mm->pgd))
xen_current_cr3  1391 arch/x86/xen/mmu_pv.c 	this_cpu_write(xen_current_cr3, (unsigned long)v);
xen_current_cr3    27 arch/x86/xen/xen-ops.h DECLARE_PER_CPU(unsigned long, xen_current_cr3);