@@ -1720,6 +1720,7 @@ static int prepare_acpi(struct domain *d, struct kernel_info *kinfo)
return rc;
acpi_map_other_tables(d);
+ acpi_create_efi_system_table(d, tbl_add);
return 0;
}
@@ -23,8 +23,12 @@
#include "efi.h"
#include "efi-dom0.h"
+#include <xen/sched.h>
#include <asm/setup.h>
#include <asm/acpi.h>
+#include "../../../common/decompress.h"
+#define XZ_EXTERN STATIC
+#include "../../../common/xz/crc32.c"
struct meminfo __initdata acpi_mem;
/* Constant to indicate "Xen" in unicode u16 format */
@@ -49,6 +53,47 @@ size_t __init estimate_efi_size(int mem_nr_banks)
return size;
}
+void __init acpi_create_efi_system_table(struct domain *d,
+ struct membank tbl_add[])
+{
+ u64 table_addr, table_size, offset = 0;
+ u8 *base_ptr;
+ EFI_CONFIGURATION_TABLE *efi_conf_tbl;
+ EFI_SYSTEM_TABLE *efi_sys_tbl;
+
+ table_addr = d->arch.efi_acpi_gpa
+ + acpi_get_table_offset(tbl_add, TBL_EFIT);
+ table_size = sizeof(EFI_SYSTEM_TABLE) + sizeof(EFI_CONFIGURATION_TABLE)
+ + sizeof(xen_efi_fw_vendor);
+ base_ptr = d->arch.efi_acpi_table
+ + acpi_get_table_offset(tbl_add, TBL_EFIT);
+ efi_sys_tbl = (EFI_SYSTEM_TABLE *)base_ptr;
+
+ efi_sys_tbl->Hdr.Signature = EFI_SYSTEM_TABLE_SIGNATURE;
+ /* Specify the revision as 2.5 */
+ efi_sys_tbl->Hdr.Revision = (2 << 16 | 50);
+ efi_sys_tbl->Hdr.HeaderSize = table_size;
+
+ efi_sys_tbl->FirmwareRevision = 1;
+ efi_sys_tbl->NumberOfTableEntries = 1;
+ offset += sizeof(EFI_SYSTEM_TABLE);
+ memcpy(base_ptr + offset, xen_efi_fw_vendor, sizeof(xen_efi_fw_vendor));
+ efi_sys_tbl->FirmwareVendor = (CHAR16 *)(table_addr + offset);
+
+ offset += sizeof(xen_efi_fw_vendor);
+ efi_conf_tbl = (EFI_CONFIGURATION_TABLE *)(base_ptr + offset);
+ efi_conf_tbl->VendorGuid = (EFI_GUID)ACPI_20_TABLE_GUID;
+ efi_conf_tbl->VendorTable = (VOID *)tbl_add[TBL_RSDP].start;
+ efi_sys_tbl->ConfigurationTable = (EFI_CONFIGURATION_TABLE *)(table_addr
+ + offset);
+ xz_crc32_init();
+ efi_sys_tbl->Hdr.CRC32 = xz_crc32((uint8_t *)efi_sys_tbl,
+ efi_sys_tbl->Hdr.HeaderSize, 0);
+
+ tbl_add[TBL_EFIT].start = table_addr;
+ tbl_add[TBL_EFIT].size = table_size;
+}
+
/*
* Local variables:
* mode: C
@@ -53,6 +53,9 @@ void copy_from_paddr(void *dst, paddr_t paddr, unsigned long len);
size_t estimate_efi_size(int mem_nr_banks);
+void acpi_create_efi_system_table(struct domain *d,
+ struct membank tbl_add[]);
+
int construct_dom0(struct domain *d);
void discard_initial_modules(void);