xen_write_cr3    1279 arch/x86/xen/enlighten.c 	.write_cr3 = xen_write_cr3,
xen_write_cr3    1601 arch/x86/xen/enlighten.c 	xen_write_cr3(__pa(swapper_pg_dir));