Symbol: efi_boot_services_t
arch/x86/xen/efi.c
41
.boottime = (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR,
include/linux/efi.h
530
efi_boot_services_t *boottime;