efi_boot_services_t   39 arch/x86/xen/efi.c 	.boottime	= (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR,
efi_boot_services_t  773 include/linux/efi.h 	efi_boot_services_t *boottime;