Lines Matching refs:efi_systab_xen
33 static efi_system_table_t efi_systab_xen __initdata = {
86 efi_systab_xen.tables = info->cfg.addr; in xen_efi_probe()
87 efi_systab_xen.nr_tables = info->cfg.nent; in xen_efi_probe()
96 efi_systab_xen.fw_vendor = __pa_symbol(vendor); in xen_efi_probe()
97 efi_systab_xen.fw_revision = info->vendor.revision; in xen_efi_probe()
99 efi_systab_xen.fw_vendor = __pa_symbol(L"UNKNOWN"); in xen_efi_probe()
106 efi_systab_xen.hdr.revision = info->version; in xen_efi_probe()
115 return &efi_systab_xen; in xen_efi_probe()
175 efi_system_table_t *efi_systab_xen; in xen_efi_init() local
177 efi_systab_xen = xen_efi_probe(); in xen_efi_init()
179 if (efi_systab_xen == NULL) in xen_efi_init()
184 boot_params.efi_info.efi_systab = (__u32)__pa(efi_systab_xen); in xen_efi_init()
185 boot_params.efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); in xen_efi_init()