efi_boot_services_t
.boottime = (efi_boot_services_t *)EFI_INVALID_TABLE_ADDR,
efi_boot_services_t *boottime;