[PATCH v3 43/62] arm/acpi: Prepare MADT table for Dom0

[shannon.zhao at linaro.org]

From: Shannon Zhao <shannon.zhao at linaro.org>

Copy and modify MADT table before passing it to Dom0. Copy
dom0_max_vcpus of GICCs and GICD as well.

Signed-off-by: Shannon Zhao <shannon.zhao at linaro.org>
---
 xen/arch/arm/domain_build.c | 98 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 98 insertions(+)

diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 5d03dc0..4591955 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -1359,6 +1359,100 @@ static int prepare_dtb(struct domain *d, struct kernel_info *kinfo)
 #ifdef CONFIG_ACPI
 #define XEN_HYPERVISOR_ID 0x000058656E564D4D  /* "XenVMM" */
 
+static int acpi_create_madt(struct domain *d, struct membank tbl_add[])
+{
+    struct acpi_table_header *table = NULL;
+    struct acpi_table_madt *madt = NULL;
+    struct acpi_madt_generic_distributor gicd;
+    u64 table_size = sizeof(struct acpi_table_madt);
+    acpi_status status;
+    int i;
+    u8 *base_ptr;
+    u8 checksum;
+
+    status = acpi_get_table(ACPI_SIG_MADT, 0, &table);
+
+    if ( ACPI_FAILURE(status) )
+    {
+        const char *msg = acpi_format_exception(status);
+
+        printk("Failed to get MADT table, %s\n", msg);
+        return -EINVAL;
+    }
+
+    base_ptr = d->arch.efi_acpi_table
+               + acpi_get_table_offset(tbl_add, TBL_MADT);
+    ACPI_MEMCPY(base_ptr, table, table_size);
+
+    /* Add Generic Distributor */
+    memset(&gicd, 0, sizeof(gicd));
+    gicd.header.type = ACPI_MADT_TYPE_GENERIC_DISTRIBUTOR;
+    gicd.header.length = sizeof(gicd);
+    gicd.base_address = d->arch.vgic.dbase;
+    if ( d->arch.vgic.version == GIC_V2 )
+        gicd.version = ACPI_MADT_GIC_VERSION_V2;
+    else if ( d->arch.vgic.version == GIC_V3 )
+        gicd.version = ACPI_MADT_GIC_VERSION_V3;
+    else
+        gicd.version = ACPI_MADT_GIC_VERSION_NONE;
+    ACPI_MEMCPY(base_ptr + table_size, &gicd, sizeof(gicd));
+    table_size += sizeof(gicd);
+
+    if ( d->arch.vgic.version == GIC_V3 ) {
+        /* Add Generic Redistributor */
+        for ( i = 0; i < d->arch.vgic.nr_regions; i++ ) {
+            struct acpi_madt_generic_redistributor gicr;
+
+            memset(&gicr, 0, sizeof(gicr));
+            gicr.header.type = ACPI_MADT_TYPE_GENERIC_REDISTRIBUTOR;
+            gicr.header.length = sizeof(gicr);
+            gicr.base_address = d->arch.vgic.rdist_regions[i].base;
+            gicr.length = d->arch.vgic.rdist_regions[i].size;
+            ACPI_MEMCPY(base_ptr + table_size, &gicr, sizeof(gicr));
+            table_size += sizeof(gicr);
+        }
+    } else {
+        /* Add Generic Interrupt */
+        for ( i = 0; i < d->max_vcpus; i++ )
+        {
+            struct acpi_madt_generic_interrupt gicc;
+            u64 mpidr = 0;
+            u32 id = i, j = 0;
+
+            memset(&gicc, 0, sizeof(gicc));
+            gicc.header.type = ACPI_MADT_TYPE_GENERIC_INTERRUPT;
+            gicc.header.length = sizeof(gicc);
+            gicc.cpu_interface_number = i;
+            gicc.uid = i;
+            gicc.flags = ACPI_MADT_ENABLED;
+            gicc.base_address = d->arch.vgic.cbase;
+
+            do {
+                mpidr |= (id % 4) << (8 * j);
+                j++;
+                if ( j ==3 )
+                    j++;
+                id = id / 4;
+            } while(id > 0);
+            gicc.arm_mpidr = mpidr;
+
+            ACPI_MEMCPY(base_ptr + table_size, &gicc, sizeof(gicc));
+            table_size += sizeof(gicc);
+        }
+    }
+
+    madt = (struct acpi_table_madt *)base_ptr;
+    madt->header.length = table_size;
+    checksum = acpi_tb_checksum(ACPI_CAST_PTR(u8, madt), table_size);
+    madt->header.checksum -= checksum;
+
+    tbl_add[TBL_MADT].start = d->arch.efi_acpi_gpa
+                              + acpi_get_table_offset(tbl_add, TBL_MADT);
+    tbl_add[TBL_MADT].size = table_size;
+
+    return 0;
+}
+
 static int acpi_create_fadt(struct domain *d, struct membank tbl_add[])
 {
     struct acpi_table_header *table = NULL;
@@ -1463,6 +1557,10 @@ static int prepare_acpi(struct domain *d, struct kernel_info *kinfo)
     if ( rc != 0 )
         return rc;
 
+    rc = acpi_create_madt(d, tbl_add);
+    if ( rc != 0 )
+        return rc;
+
     return 0;
 }
 #else
-- 
2.1.0