Searched refs:efi_systab_xen (Results 1 – 1 of 1) 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()