Lines Matching refs:efi_systab_xen
21 static efi_system_table_t efi_systab_xen __initdata = {
62 efi_systab_xen.tables = info->cfg.addr;
63 efi_systab_xen.nr_tables = info->cfg.nent;
72 efi_systab_xen.fw_vendor = __pa_symbol(vendor);
73 efi_systab_xen.fw_revision = info->vendor.revision;
75 efi_systab_xen.fw_vendor = __pa_symbol(L"UNKNOWN");
82 efi_systab_xen.hdr.revision = info->version;
91 return &efi_systab_xen;
151 efi_system_table_t *efi_systab_xen;
153 efi_systab_xen = xen_efi_probe();
155 if (efi_systab_xen == NULL)
160 boot_params->efi_info.efi_systab = (__u32)__pa(efi_systab_xen);
161 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32);