__xen_write_cr3   775 arch/x86/xen/enlighten.c 	__xen_write_cr3(true, cr3);
__xen_write_cr3   781 arch/x86/xen/enlighten.c 			__xen_write_cr3(false, __pa(user_pgd));
__xen_write_cr3   783 arch/x86/xen/enlighten.c 			__xen_write_cr3(false, 0);
__xen_write_cr3  1565 arch/x86/xen/enlighten.c 	__xen_write_cr3(true, __pa(pgd));