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