1 /* 2 * Copyright (c) 2014 Oracle Co., Daniel Kiper 3 * 4 * This program is free software; you can redistribute it and/or modify 5 * it under the terms of the GNU General Public License as published by 6 * the Free Software Foundation; either version 2 of the License, or 7 * (at your option) any later version. 8 * 9 * This program is distributed in the hope that it will be useful, 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of 11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 * GNU General Public License for more details. 13 * 14 * You should have received a copy of the GNU General Public License along 15 * with this program. If not, see <http://www.gnu.org/licenses/>. 16 */ 17 18 #include <linux/bitops.h> 19 #include <linux/efi.h> 20 #include <linux/init.h> 21 #include <linux/string.h> 22 23 #include <xen/xen-ops.h> 24 25 #include <asm/page.h> 26 #include <asm/setup.h> 27 28 void __init xen_efi_init(void) 29 { 30 efi_system_table_t *efi_systab_xen; 31 32 efi_systab_xen = xen_efi_probe(); 33 34 if (efi_systab_xen == NULL) 35 return; 36 37 strncpy((char *)&boot_params.efi_info.efi_loader_signature, "Xen", 38 sizeof(boot_params.efi_info.efi_loader_signature)); 39 boot_params.efi_info.efi_systab = (__u32)__pa(efi_systab_xen); 40 boot_params.efi_info.efi_systab_hi = (__u32)(__pa(efi_systab_xen) >> 32); 41 42 set_bit(EFI_BOOT, &efi.flags); 43 set_bit(EFI_PARAVIRT, &efi.flags); 44 set_bit(EFI_64BIT, &efi.flags); 45 } 46