xen_efi_init 149 arch/x86/xen/efi.c void __init xen_efi_init(struct boot_params *boot_params) xen_efi_init 127 arch/x86/xen/xen-ops.h static inline void __init xen_efi_init(struct boot_params *boot_params)