From b451ecc8fa5bb1283a1dddc20057282676ad2593 Mon Sep 17 00:00:00 2001

Message-Id: <b451ecc8fa5bb1283a1dddc20057282676ad2593.1387298827.git.minovotn@redhat.com>

In-Reply-To: <3ed0fb61a3dc912ef036d7ef450bed192090709e.1387298827.git.minovotn@redhat.com>

References: <3ed0fb61a3dc912ef036d7ef450bed192090709e.1387298827.git.minovotn@redhat.com>

From: "Michael S. Tsirkin" <mst@redhat.com>

Date: Tue, 17 Dec 2013 15:19:08 +0100

Subject: [PATCH 48/56] i386: ACPI table generation code from seabios

RH-Author: Michael S. Tsirkin <mst@redhat.com>

Message-id: <1387293161-4085-49-git-send-email-mst@redhat.com>

Patchwork-id: 56354

O-Subject: [PATCH qemu-kvm RHEL7.0 v2 48/57] i386: ACPI table generation code from seabios

Bugzilla: 1034876

RH-Acked-by: Igor Mammedov <imammedo@redhat.com>

RH-Acked-by: Marcel Apfelbaum <marcel.a@redhat.com>

RH-Acked-by: Laszlo Ersek <lersek@redhat.com>

This adds C code for generating ACPI tables at runtime,

imported from seabios git tree

    commit 51684b7ced75fb76776e8ee84833fcfb6ecf12dd

Although ACPI tables come from a system BIOS on real hw,

it makes sense that the ACPI tables are coupled with the

virtual machine, since they have to abstract the x86 machine to

the OS's.

This is widely desired as a way to avoid the churn

and proliferation of QEMU-specific interfaces

associated with ACPI tables in bios code.

Notes:

As BIOS can reprogram devices prior to loading

ACPI tables, we pre-format ACPI tables but defer loading

hardware configuration there until tables are loaded.

The code structure was intentionally kept as close

to the seabios original as possible, to simplify

comparison and making sure we didn't lose anything

in translation.

Minor code duplication results, to help ensure there are no functional

regressions, I think it's better to merge it like this and do more code

changes in follow-up patches.

Cross-version compatibility concerns have been addressed:

    ACPI tables are exposed to guest as FW_CFG entries.

    When running with -M 1.5 and older, this patch disables ACPI

    table generation, and doesn't expose ACPI

    tables to guest.

    As table content is likely to change over time,

    the following measures are taken to simplify

    cross-version migration:

    - All tables besides the RSDP are packed in a single FW CFG entry.

      This entry size is currently 23K. We round it up to 64K

      to avoid too much churn there.

    - Tables are placed in special ROM blob (not mapped into guest memory)

      which is automatically migrated together with the guest, same

      as BIOS code.

    - Offsets where hardware configuration is loaded in ACPI tables

      are also migrated, this is in case future ACPI changes make us

      rearrange the tables in memory.

This patch reuses some code from SeaBIOS, which was originally under

LGPLv2 and then relicensed to GPLv3 or LGPLv3, in QEMU under GPLv2+. This

relicensing has been acked by all contributors that had contributed to the

code since the v2->v3 relicense. ACKs approving the v2+ relicensing are

listed below. The list might include ACKs from people not holding

copyright on any parts of the reused code, but it's better to err on the

side of caution and include them.

Affected SeaBIOS files (GPLv2+ license headers added)

<http://thread.gmane.org/gmane.comp.bios.coreboot.seabios/5949>:

 src/acpi-dsdt-cpu-hotplug.dsl

 src/acpi-dsdt-dbug.dsl

 src/acpi-dsdt-hpet.dsl

 src/acpi-dsdt-isa.dsl

 src/acpi-dsdt-pci-crs.dsl

 src/acpi.c

 src/acpi.h

 src/ssdt-misc.dsl

 src/ssdt-pcihp.dsl

 src/ssdt-proc.dsl

 tools/acpi_extract.py

 tools/acpi_extract_preprocess.py

Each one of the listed people agreed to the following:

> If you allow the use of your contribution in QEMU under the

> terms of GPLv2 or later as proposed by this patch,

> please respond to this mail including the line:

>

> Acked-by: Name <email address>

  Acked-by: Gerd Hoffmann <kraxel@redhat.com>

  Acked-by: Jan Kiszka <jan.kiszka@siemens.com>

  Acked-by: Jason Baron <jbaron@akamai.com>

  Acked-by: David Woodhouse <David.Woodhouse@intel.com>

  Acked-by: Gleb Natapov <gleb@redhat.com>

  Acked-by: Marcelo Tosatti <mtosatti@redhat.com>

  Acked-by: Dave Frodin <dave.frodin@se-eng.com>

  Acked-by: Paolo Bonzini <pbonzini@redhat.com>

  Acked-by: Kevin O'Connor <kevin@koconnor.net>

  Acked-by: Laszlo Ersek <lersek@redhat.com>

  Acked-by: Kenji Kaneshige <kaneshige.kenji@jp.fujitsu.com>

  Acked-by: Isaku Yamahata <yamahata@valinux.co.jp>

  Acked-by: Magnus Christensson <magnus.christensson@intel.com>

  Acked-by: Hu Tao <hutao@cn.fujitsu.com>

  Acked-by: Eduardo Habkost <ehabkost@redhat.com>

Reviewed-by: Gerd Hoffmann <kraxel@redhat.com>

Tested-by: Gerd Hoffmann <kraxel@redhat.com>

Reviewed-by: Igor Mammedov <imammedo@redhat.com>

Tested-by: Igor Mammedov <imammedo@redhat.com>

Signed-off-by: Michael S. Tsirkin <mst@redhat.com>

(cherry picked from commit 72c194f7e75cb64b2558111cb111adb49fbf4097)

Conflicts:

	hw/i386/pc_piix.c

	hw/i386/pc_q35.c

---

 hw/i386/acpi-build.h  |    9 +

 hw/i386/acpi-defs.h   |  331 ++++++++++++++

 include/hw/i386/pc.h  |    1 +

 hw/i386/acpi-build.c  | 1214 +++++++++++++++++++++++++++++++++++++++++++++++++

 hw/i386/pc.c          |    2 +

 hw/i386/pc_piix.c     |    5 +

 hw/i386/pc_q35.c      |    2 +

 hw/i386/Makefile.objs |    4 +

 8 files changed, 1568 insertions(+)

 create mode 100644 hw/i386/acpi-build.h

 create mode 100644 hw/i386/acpi-defs.h

 create mode 100644 hw/i386/acpi-build.c

Signed-off-by: Michal Novotny <minovotn@redhat.com>

---

 hw/i386/Makefile.objs |    4 +

 hw/i386/acpi-build.c  | 1214 +++++++++++++++++++++++++++++++++++++++++++++++++

 hw/i386/acpi-build.h  |    9 +

 hw/i386/acpi-defs.h   |  331 ++++++++++++++

 hw/i386/pc.c          |    2 +

 hw/i386/pc_piix.c     |    5 +

 hw/i386/pc_q35.c      |    2 +

 include/hw/i386/pc.h  |    1 +

 8 files changed, 1568 insertions(+)

 create mode 100644 hw/i386/acpi-build.c

 create mode 100644 hw/i386/acpi-build.h

 create mode 100644 hw/i386/acpi-defs.h

diff --git a/hw/i386/Makefile.objs b/hw/i386/Makefile.objs

index 71be2da..6754fd5 100644

--- a/hw/i386/Makefile.objs

+++ b/hw/i386/Makefile.objs

@@ -4,7 +4,11 @@ obj-y += pc.o pc_piix.o pc_q35.o

 obj-$(CONFIG_XEN) += xen_domainbuild.o xen_machine_pv.o

 obj-y += kvmvapic.o

+obj-y += acpi-build.o

 obj-y += bios-linker-loader.o

+hw/i386/acpi-build.o: hw/i386/acpi-build.c hw/i386/acpi-dsdt.hex \

+	hw/i386/ssdt-proc.hex hw/i386/ssdt-pcihp.hex hw/i386/ssdt-misc.hex \

+	hw/i386/acpi-dsdt.hex hw/i386/q35-acpi-dsdt.hex

 iasl-option=$(shell if test -z "`$(1) $(2) 2>&1 > /dev/null`" \

     ; then echo "$(2)"; else echo "$(3)"; fi ;)

diff --git a/hw/i386/acpi-build.c b/hw/i386/acpi-build.c

new file mode 100644

index 0000000..6cfa044

--- /dev/null

+++ b/hw/i386/acpi-build.c

@@ -0,0 +1,1214 @@

+/* Support for generating ACPI tables and passing them to Guests

+ *

+ * Copyright (C) 2008-2010  Kevin O'Connor <kevin@koconnor.net>

+ * Copyright (C) 2006 Fabrice Bellard

+ * Copyright (C) 2013 Red Hat Inc

+ *

+ * Author: Michael S. Tsirkin <mst@redhat.com>

+ *

+ * This program is free software; you can redistribute it and/or modify

+ * it under the terms of the GNU General Public License as published by

+ * the Free Software Foundation; either version 2 of the License, or

+ * (at your option) any later version.

+

+ * This program is distributed in the hope that it will be useful,

+ * but WITHOUT ANY WARRANTY; without even the implied warranty of

+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+ * GNU General Public License for more details.

+

+ * You should have received a copy of the GNU General Public License along

+ * with this program; if not, see <http://www.gnu.org/licenses/>.

+ */

+

+#include "acpi-build.h"

+#include <stddef.h>

+#include <glib.h>

+#include "qemu-common.h"

+#include "qemu/bitmap.h"

+#include "qemu/range.h"

+#include "hw/pci/pci.h"

+#include "qom/cpu.h"

+#include "hw/i386/pc.h"

+#include "target-i386/cpu.h"

+#include "hw/timer/hpet.h"

+#include "hw/i386/acpi-defs.h"

+#include "hw/acpi/acpi.h"

+#include "hw/nvram/fw_cfg.h"

+#include "bios-linker-loader.h"

+#include "hw/loader.h"

+

+/* Supported chipsets: */

+#include "hw/acpi/piix4.h"

+#include "hw/i386/ich9.h"

+#include "hw/pci/pci_bus.h"

+#include "hw/pci-host/q35.h"

+

+#include "hw/i386/q35-acpi-dsdt.hex"

+#include "hw/i386/acpi-dsdt.hex"

+

+#include "qapi/qmp/qint.h"

+#include "qom/qom-qobject.h"

+

+typedef struct AcpiCpuInfo {

+    DECLARE_BITMAP(found_cpus, MAX_CPUMASK_BITS + 1);

+} AcpiCpuInfo;

+

+typedef struct AcpiMcfgInfo {

+    uint64_t mcfg_base;

+    uint32_t mcfg_size;

+} AcpiMcfgInfo;

+

+typedef struct AcpiPmInfo {

+    bool s3_disabled;

+    bool s4_disabled;

+    uint8_t s4_val;

+    uint16_t sci_int;

+    uint8_t acpi_enable_cmd;

+    uint8_t acpi_disable_cmd;

+    uint32_t gpe0_blk;

+    uint32_t gpe0_blk_len;

+    uint32_t io_base;

+} AcpiPmInfo;

+

+typedef struct AcpiMiscInfo {

+    bool has_hpet;

+    DECLARE_BITMAP(slot_hotplug_enable, PCI_SLOT_MAX);

+    const unsigned char *dsdt_code;

+    unsigned dsdt_size;

+    uint16_t pvpanic_port;

+} AcpiMiscInfo;

+

+static void acpi_get_dsdt(AcpiMiscInfo *info)

+{

+    Object *piix = piix4_pm_find();

+    Object *lpc = ich9_lpc_find();

+    assert(!!piix != !!lpc);

+

+    if (piix) {

+        info->dsdt_code = AcpiDsdtAmlCode;

+        info->dsdt_size = sizeof AcpiDsdtAmlCode;

+    }

+    if (lpc) {

+        info->dsdt_code = Q35AcpiDsdtAmlCode;

+        info->dsdt_size = sizeof Q35AcpiDsdtAmlCode;

+    }

+}

+

+static

+int acpi_add_cpu_info(Object *o, void *opaque)

+{

+    AcpiCpuInfo *cpu = opaque;

+    uint64_t apic_id;

+

+    if (object_dynamic_cast(o, TYPE_CPU)) {

+        apic_id = object_property_get_int(o, "apic-id", NULL);

+        assert(apic_id <= MAX_CPUMASK_BITS);

+

+        set_bit(apic_id, cpu->found_cpus);

+    }

+

+    object_child_foreach(o, acpi_add_cpu_info, opaque);

+    return 0;

+}

+

+static void acpi_get_cpu_info(AcpiCpuInfo *cpu)

+{

+    Object *root = object_get_root();

+

+    memset(cpu->found_cpus, 0, sizeof cpu->found_cpus);

+    object_child_foreach(root, acpi_add_cpu_info, cpu);

+}

+

+static void acpi_get_pm_info(AcpiPmInfo *pm)

+{

+    Object *piix = piix4_pm_find();

+    Object *lpc = ich9_lpc_find();

+    Object *obj = NULL;

+    QObject *o;

+

+    if (piix) {

+        obj = piix;

+    }

+    if (lpc) {

+        obj = lpc;

+    }

+    assert(obj);

+

+    /* Fill in optional s3/s4 related properties */

+    o = object_property_get_qobject(obj, ACPI_PM_PROP_S3_DISABLED, NULL);

+    if (o) {

+        pm->s3_disabled = qint_get_int(qobject_to_qint(o));

+    } else {

+        pm->s3_disabled = false;

+    }

+    o = object_property_get_qobject(obj, ACPI_PM_PROP_S4_DISABLED, NULL);

+    if (o) {

+        pm->s4_disabled = qint_get_int(qobject_to_qint(o));

+    } else {

+        pm->s4_disabled = false;

+    }

+    o = object_property_get_qobject(obj, ACPI_PM_PROP_S4_VAL, NULL);

+    if (o) {

+        pm->s4_val = qint_get_int(qobject_to_qint(o));

+    } else {

+        pm->s4_val = false;

+    }

+

+    /* Fill in mandatory properties */

+    pm->sci_int = object_property_get_int(obj, ACPI_PM_PROP_SCI_INT, NULL);

+

+    pm->acpi_enable_cmd = object_property_get_int(obj,

+                                                  ACPI_PM_PROP_ACPI_ENABLE_CMD,

+                                                  NULL);

+    pm->acpi_disable_cmd = object_property_get_int(obj,

+                                                  ACPI_PM_PROP_ACPI_DISABLE_CMD,

+                                                  NULL);

+    pm->io_base = object_property_get_int(obj, ACPI_PM_PROP_PM_IO_BASE,

+                                          NULL);

+    pm->gpe0_blk = object_property_get_int(obj, ACPI_PM_PROP_GPE0_BLK,

+                                           NULL);

+    pm->gpe0_blk_len = object_property_get_int(obj, ACPI_PM_PROP_GPE0_BLK_LEN,

+                                               NULL);

+}

+

+static void acpi_get_hotplug_info(AcpiMiscInfo *misc)

+{

+    int i;

+    PCIBus *bus = find_i440fx();

+

+    if (!bus) {

+        /* Only PIIX supports ACPI hotplug */

+        memset(misc->slot_hotplug_enable, 0, sizeof misc->slot_hotplug_enable);

+        return;

+    }

+

+    memset(misc->slot_hotplug_enable, 0xff,

+           DIV_ROUND_UP(PCI_SLOT_MAX, BITS_PER_BYTE));

+

+    for (i = 0; i < ARRAY_SIZE(bus->devices); ++i) {

+        PCIDeviceClass *pc;

+        PCIDevice *pdev = bus->devices[i];

+

+        if (!pdev) {

+            continue;

+        }

+

+        pc = PCI_DEVICE_GET_CLASS(pdev);

+

+        if (pc->no_hotplug) {

+            int slot = PCI_SLOT(i);

+

+            clear_bit(slot, misc->slot_hotplug_enable);

+        }

+    }

+}

+

+static void acpi_get_misc_info(AcpiMiscInfo *info)

+{

+    info->has_hpet = hpet_find();

+    info->pvpanic_port = pvpanic_port();

+}

+

+static void acpi_get_pci_info(PcPciInfo *info)

+{

+    Object *pci_host;

+    bool ambiguous;

+

+    pci_host = object_resolve_path_type("", TYPE_PCI_HOST_BRIDGE, &ambiguous);

+    g_assert(!ambiguous);

+    g_assert(pci_host);

+

+    info->w32.begin = object_property_get_int(pci_host,

+                                              PCI_HOST_PROP_PCI_HOLE_START,

+                                              NULL);

+    info->w32.end = object_property_get_int(pci_host,

+                                            PCI_HOST_PROP_PCI_HOLE_END,

+                                            NULL);

+    info->w64.begin = object_property_get_int(pci_host,

+                                              PCI_HOST_PROP_PCI_HOLE64_START,

+                                              NULL);

+    info->w64.end = object_property_get_int(pci_host,

+                                            PCI_HOST_PROP_PCI_HOLE64_END,

+                                            NULL);

+}

+

+#define ACPI_BUILD_APPNAME  "Bochs"

+#define ACPI_BUILD_APPNAME6 "BOCHS "

+#define ACPI_BUILD_APPNAME4 "BXPC"

+

+#define ACPI_BUILD_DPRINTF(level, fmt, ...) do {} while (0)

+

+#define ACPI_BUILD_TABLE_FILE "etc/acpi/tables"

+#define ACPI_BUILD_RSDP_FILE "etc/acpi/rsdp"

+

+static void

+build_header(GArray *linker, GArray *table_data,

+             AcpiTableHeader *h, uint32_t sig, int len, uint8_t rev)

+{

+    h->signature = cpu_to_le32(sig);

+    h->length = cpu_to_le32(len);

+    h->revision = rev;

+    memcpy(h->oem_id, ACPI_BUILD_APPNAME6, 6);

+    memcpy(h->oem_table_id, ACPI_BUILD_APPNAME4, 4);

+    memcpy(h->oem_table_id + 4, (void *)&sig, 4);

+    h->oem_revision = cpu_to_le32(1);

+    memcpy(h->asl_compiler_id, ACPI_BUILD_APPNAME4, 4);

+    h->asl_compiler_revision = cpu_to_le32(1);

+    h->checksum = 0;

+    /* Checksum to be filled in by Guest linker */

+    bios_linker_loader_add_checksum(linker, ACPI_BUILD_TABLE_FILE,

+                                    table_data->data, h, len, &h->checksum);

+}

+

+static inline GArray *build_alloc_array(void)

+{

+        return g_array_new(false, true /* clear */, 1);

+}

+

+static inline void build_free_array(GArray *array)

+{

+        g_array_free(array, true);

+}

+

+static inline void build_prepend_byte(GArray *array, uint8_t val)

+{

+    g_array_prepend_val(array, val);

+}

+

+static inline void build_append_byte(GArray *array, uint8_t val)

+{

+    g_array_append_val(array, val);

+}

+

+static inline void build_append_array(GArray *array, GArray *val)

+{

+    g_array_append_vals(array, val->data, val->len);

+}

+

+static void build_append_nameseg(GArray *array, const char *format, ...)

+{

+    GString *s = g_string_new("");

+    va_list args;

+

+    va_start(args, format);

+    g_string_vprintf(s, format, args);

+    va_end(args);

+

+    assert(s->len == 4);

+    g_array_append_vals(array, s->str, s->len);

+    g_string_free(s, true);

+}

+

+/* 5.4 Definition Block Encoding */

+enum {

+    PACKAGE_LENGTH_1BYTE_SHIFT = 6, /* Up to 63 - use extra 2 bits. */

+    PACKAGE_LENGTH_2BYTE_SHIFT = 4,

+    PACKAGE_LENGTH_3BYTE_SHIFT = 12,

+    PACKAGE_LENGTH_4BYTE_SHIFT = 20,

+};

+

+static void build_prepend_package_length(GArray *package, unsigned min_bytes)

+{

+    uint8_t byte;

+    unsigned length = package->len;

+    unsigned length_bytes;

+

+    if (length + 1 < (1 << PACKAGE_LENGTH_1BYTE_SHIFT)) {

+        length_bytes = 1;

+    } else if (length + 2 < (1 << PACKAGE_LENGTH_3BYTE_SHIFT)) {

+        length_bytes = 2;

+    } else if (length + 3 < (1 << PACKAGE_LENGTH_4BYTE_SHIFT)) {

+        length_bytes = 3;

+    } else {

+        length_bytes = 4;

+    }

+

+    /* Force length to at least min_bytes.

+     * This wastes memory but that's how bios did it.

+     */

+    length_bytes = MAX(length_bytes, min_bytes);

+

+    /* PkgLength is the length of the inclusive length of the data. */

+    length += length_bytes;

+

+    switch (length_bytes) {

+    case 1:

+        byte = length;

+        build_prepend_byte(package, byte);

+        return;

+    case 4:

+        byte = length >> PACKAGE_LENGTH_4BYTE_SHIFT;

+        build_prepend_byte(package, byte);

+        length &= (1 << PACKAGE_LENGTH_4BYTE_SHIFT) - 1;

+        /* fall through */

+    case 3:

+        byte = length >> PACKAGE_LENGTH_3BYTE_SHIFT;

+        build_prepend_byte(package, byte);

+        length &= (1 << PACKAGE_LENGTH_3BYTE_SHIFT) - 1;

+        /* fall through */

+    case 2:

+        byte = length >> PACKAGE_LENGTH_2BYTE_SHIFT;

+        build_prepend_byte(package, byte);

+        length &= (1 << PACKAGE_LENGTH_2BYTE_SHIFT) - 1;

+        /* fall through */

+    }

+    /*

+     * Most significant two bits of byte zero indicate how many following bytes

+     * are in PkgLength encoding.

+     */

+    byte = ((length_bytes - 1) << PACKAGE_LENGTH_1BYTE_SHIFT) | length;

+    build_prepend_byte(package, byte);

+}

+

+static void build_package(GArray *package, uint8_t op, unsigned min_bytes)

+{

+    build_prepend_package_length(package, min_bytes);

+    build_prepend_byte(package, op);

+}

+

+static void build_append_value(GArray *table, uint32_t value, int size)

+{

+    uint8_t prefix;

+    int i;

+

+    switch (size) {

+    case 1:

+        prefix = 0x0A; /* BytePrefix */

+        break;

+    case 2:

+        prefix = 0x0B; /* WordPrefix */

+        break;

+    case 4:

+        prefix = 0x0C; /* DWordPrefix */

+        break;

+    default:

+        assert(0);

+        return;

+    }

+    build_append_byte(table, prefix);

+    for (i = 0; i < size; ++i) {

+        build_append_byte(table, value & 0xFF);

+        value = value >> 8;

+    }

+}

+

+static void build_append_notify_target(GArray *method, GArray *target_name,

+                                       uint32_t value, int size)

+{

+    GArray *notify = build_alloc_array();

+    uint8_t op = 0xA0; /* IfOp */

+

+    build_append_byte(notify, 0x93); /* LEqualOp */

+    build_append_byte(notify, 0x68); /* Arg0Op */

+    build_append_value(notify, value, size);

+    build_append_byte(notify, 0x86); /* NotifyOp */

+    build_append_array(notify, target_name);

+    build_append_byte(notify, 0x69); /* Arg1Op */

+

+    /* Pack it up */

+    build_package(notify, op, 1);

+

+    build_append_array(method, notify);

+

+    build_free_array(notify);

+}

+

+#define ACPI_PORT_SMI_CMD           0x00b2 /* TODO: this is APM_CNT_IOPORT */

+

+static inline void *acpi_data_push(GArray *table_data, unsigned size)

+{

+    unsigned off = table_data->len;

+    g_array_set_size(table_data, off + size);

+    return table_data->data + off;

+}

+

+static unsigned acpi_data_len(GArray *table)

+{

+    return table->len * g_array_get_element_size(table);

+}

+

+static void acpi_align_size(GArray *blob, unsigned align)

+{

+    /* Align size to multiple of given size. This reduces the chance

+     * we need to change size in the future (breaking cross version migration).

+     */

+    g_array_set_size(blob, (ROUND_UP(acpi_data_len(blob), align) +

+                            g_array_get_element_size(blob) - 1) /

+                             g_array_get_element_size(blob));

+}

+

+/* Get pointer within table in a safe manner */

+#define ACPI_BUILD_PTR(table, size, off, type) \

+    ((type *)(acpi_data_get_ptr(table, size, off, sizeof(type))))

+

+static inline void *acpi_data_get_ptr(uint8_t *table_data, unsigned table_size,

+                                      unsigned off, unsigned size)

+{

+    assert(off + size > off);

+    assert(off + size <= table_size);

+    return table_data + off;

+}

+

+static inline void acpi_add_table(GArray *table_offsets, GArray *table_data)

+{

+    uint32_t offset = cpu_to_le32(table_data->len);

+    g_array_append_val(table_offsets, offset);

+}

+

+/* FACS */

+static void

+build_facs(GArray *table_data, GArray *linker, PcGuestInfo *guest_info)

+{

+    AcpiFacsDescriptorRev1 *facs = acpi_data_push(table_data, sizeof *facs);

+    facs->signature = cpu_to_le32(ACPI_FACS_SIGNATURE);

+    facs->length = cpu_to_le32(sizeof(*facs));

+}

+

+/* Load chipset information in FADT */

+static void fadt_setup(AcpiFadtDescriptorRev1 *fadt, AcpiPmInfo *pm)

+{

+    fadt->model = 1;

+    fadt->reserved1 = 0;

+    fadt->sci_int = cpu_to_le16(pm->sci_int);

+    fadt->smi_cmd = cpu_to_le32(ACPI_PORT_SMI_CMD);

+    fadt->acpi_enable = pm->acpi_enable_cmd;

+    fadt->acpi_disable = pm->acpi_disable_cmd;

+    /* EVT, CNT, TMR offset matches hw/acpi/core.c */

+    fadt->pm1a_evt_blk = cpu_to_le32(pm->io_base);

+    fadt->pm1a_cnt_blk = cpu_to_le32(pm->io_base + 0x04);

+    fadt->pm_tmr_blk = cpu_to_le32(pm->io_base + 0x08);

+    fadt->gpe0_blk = cpu_to_le32(pm->gpe0_blk);

+    /* EVT, CNT, TMR length matches hw/acpi/core.c */

+    fadt->pm1_evt_len = 4;

+    fadt->pm1_cnt_len = 2;

+    fadt->pm_tmr_len = 4;

+    fadt->gpe0_blk_len = pm->gpe0_blk_len;

+    fadt->plvl2_lat = cpu_to_le16(0xfff); /* C2 state not supported */

+    fadt->plvl3_lat = cpu_to_le16(0xfff); /* C3 state not supported */

+    fadt->flags = cpu_to_le32((1 << ACPI_FADT_F_WBINVD) |

+                              (1 << ACPI_FADT_F_PROC_C1) |

+                              (1 << ACPI_FADT_F_SLP_BUTTON) |

+                              (1 << ACPI_FADT_F_RTC_S4));

+    fadt->flags |= cpu_to_le32(1 << ACPI_FADT_F_USE_PLATFORM_CLOCK);

+}

+

+

+/* FADT */

+static void

+build_fadt(GArray *table_data, GArray *linker, AcpiPmInfo *pm,

+           unsigned facs, unsigned dsdt)

+{

+    AcpiFadtDescriptorRev1 *fadt = acpi_data_push(table_data, sizeof(*fadt));

+

+    fadt->firmware_ctrl = cpu_to_le32(facs);

+    /* FACS address to be filled by Guest linker */

+    bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,

+                                   ACPI_BUILD_TABLE_FILE,

+                                   table_data, &fadt->firmware_ctrl,

+                                   sizeof fadt->firmware_ctrl);

+

+    fadt->dsdt = cpu_to_le32(dsdt);

+    /* DSDT address to be filled by Guest linker */

+    bios_linker_loader_add_pointer(linker, ACPI_BUILD_TABLE_FILE,

+                                   ACPI_BUILD_TABLE_FILE,

+                                   table_data, &fadt->dsdt,

+                                   sizeof fadt->dsdt);

+

+    fadt_setup(fadt, pm);

+

+    build_header(linker, table_data,

+                 (void *)fadt, ACPI_FACP_SIGNATURE, sizeof(*fadt), 1);

+}

+

+static void

+build_madt(GArray *table_data, GArray *linker, AcpiCpuInfo *cpu,

+           PcGuestInfo *guest_info)

+{

+    int madt_start = table_data->len;

+

+    AcpiMultipleApicTable *madt;

+    AcpiMadtIoApic *io_apic;

+    AcpiMadtIntsrcovr *intsrcovr;

+    AcpiMadtLocalNmi *local_nmi;

+    int i;

+

+    madt = acpi_data_push(table_data, sizeof *madt);

+    madt->local_apic_address = cpu_to_le32(APIC_DEFAULT_ADDRESS);

+    madt->flags = cpu_to_le32(1);

+

+    for (i = 0; i < guest_info->apic_id_limit; i++) {

+        AcpiMadtProcessorApic *apic = acpi_data_push(table_data, sizeof *apic);

+        apic->type = ACPI_APIC_PROCESSOR;

+        apic->length = sizeof(*apic);

+        apic->processor_id = i;

+        apic->local_apic_id = i;

+        if (test_bit(i, cpu->found_cpus)) {

+            apic->flags = cpu_to_le32(1);

+        } else {