xen_pfn_to_cr3    291 arch/x86/xen/p2m.c 		xen_pfn_to_cr3(virt_to_mfn(swapper_pg_dir));
xen_pfn_to_cr3    355 arch/x86/xen/smp_pv.c 	ctxt->ctrlreg[3] = xen_pfn_to_cr3(virt_to_gfn(swapper_pg_dir));