Lines Matching refs:efi_systab_xen
23 static efi_system_table_t efi_systab_xen __initdata = {
64 efi_systab_xen.tables = info->cfg.addr;
65 efi_systab_xen.nr_tables = info->cfg.nent;
74 efi_systab_xen.fw_vendor = __pa_symbol(vendor);
75 efi_systab_xen.fw_revision = info->vendor.revision;
77 efi_systab_xen.fw_vendor = __pa_symbol(L"UNKNOWN");
84 efi_systab_xen.hdr.revision = info->version;
93 return &efi_systab_xen;
134 efi_system_table_t *efi_systab_xen;
136 efi_systab_xen = xen_efi_probe();
138 if (efi_systab_xen == NULL)
143 boot_params->efi_info.efi_systab = (__u32)__pa(efi_systab_xen);
144 boot_params->efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32);