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)