xen_cr3           123 arch/x86/xen/mmu_pv.c DEFINE_PER_CPU(unsigned long, xen_cr3);	 /* cr3 stored as physaddr */
xen_cr3          1386 arch/x86/xen/mmu_pv.c 	return this_cpu_read(xen_cr3);
xen_cr3          1414 arch/x86/xen/mmu_pv.c 		this_cpu_write(xen_cr3, cr3);
xen_cr3          1429 arch/x86/xen/mmu_pv.c 	this_cpu_write(xen_cr3, cr3);
xen_cr3          1475 arch/x86/xen/mmu_pv.c 	this_cpu_write(xen_cr3, cr3);
xen_cr3           353 arch/x86/xen/smp_pv.c 	per_cpu(xen_cr3, cpu) = __pa(swapper_pg_dir);
xen_cr3            26 arch/x86/xen/xen-ops.h DECLARE_PER_CPU(unsigned long, xen_cr3);