Lines Matching +full:firmware +full:- +full:initialized
1 // SPDX-License-Identifier: GPL-2.0
12 #include <xen/xen-ops.h>
24 .revision = 0, /* Initialized later. */
29 .fw_vendor = EFI_INVALID_TABLE_ADDR, /* Initialized later. */
30 .fw_revision = 0, /* Initialized later. */
41 .nr_tables = 0, /* Initialized later. */
42 .tables = EFI_INVALID_TABLE_ADDR /* Initialized later. */
62 efi_systab_xen.tables = info->cfg.addr; in xen_efi_probe()
63 efi_systab_xen.nr_tables = info->cfg.nent; in xen_efi_probe()
68 info->vendor.bufsz = sizeof(vendor); in xen_efi_probe()
69 set_xen_guest_handle(info->vendor.name, vendor); in xen_efi_probe()
73 efi_systab_xen.fw_revision = info->vendor.revision; in xen_efi_probe()
82 efi_systab_xen.hdr.revision = info->version; in xen_efi_probe()
89 efi.runtime_version = info->version; in xen_efi_probe()
98 * drivers/firmware/efi/libstub/secureboot.c:efi_get_secureboot().
158 strncpy((char *)&boot_params->efi_info.efi_loader_signature, "Xen", in xen_efi_init()
159 sizeof(boot_params->efi_info.efi_loader_signature)); in xen_efi_init()
160 boot_params->efi_info.efi_systab = (__u32)__pa(efi_systab_xen); in xen_efi_init()
161 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
163 boot_params->secure_boot = xen_efi_get_secureboot(); in xen_efi_init()