Symbol: xen_efi_init
arch/x86/xen/efi.c
132
void __init xen_efi_init(struct boot_params *boot_params)
arch/x86/xen/xen-ops.h
133
static inline void __init xen_efi_init(struct boot_params *boot_params)