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);