xen_efi_init     1402 arch/x86/xen/enlighten_pv.c 	xen_efi_init(&boot_params);
xen_efi_init       39 arch/x86/xen/enlighten_pvh.c 	xen_efi_init(boot_params);
xen_efi_init      125 arch/x86/xen/xen-ops.h extern void xen_efi_init(struct boot_params *boot_params);