Searched refs:efi_systab_xen (Results 1 – 2 of 2) sorted by relevance
30 efi_system_table_t *efi_systab_xen; in xen_efi_init() local32 efi_systab_xen = xen_efi_probe(); in xen_efi_init()34 if (efi_systab_xen == NULL) in xen_efi_init()39 boot_params.efi_info.efi_systab = (__u32)__pa(efi_systab_xen); in xen_efi_init()40 boot_params.efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()
266 static efi_system_table_t efi_systab_xen __initdata = {341 efi_systab_xen.tables = info->cfg.addr; in xen_efi_probe()342 efi_systab_xen.nr_tables = info->cfg.nent; in xen_efi_probe()351 efi_systab_xen.fw_vendor = __pa_symbol(vendor); in xen_efi_probe()352 efi_systab_xen.fw_revision = info->vendor.revision; in xen_efi_probe()354 efi_systab_xen.fw_vendor = __pa_symbol(L"UNKNOWN"); in xen_efi_probe()361 efi_systab_xen.hdr.revision = info->version; in xen_efi_probe()370 return &efi_systab_xen; in xen_efi_probe()