[SeaBIOS] [PATCH v2 0/6] Build PCI hotplug SSDT from a single template

[Paolo Bonzini]

More than 1kb of data is taken by the 32 copies of the PCI hotplug SSDT
methods.  We can build them from a single template like we do for CPUs.

This series does exactly this.  Patches 1 prepares for the change, by
moving other pieces of ssdt-pcihd.dsl out of the way.  Patch 2 is also
a simple rename and patch 3 fixes a bug in acpi_extract.  Patches 4 to
6 finally do the movement.

v1->v2: document computation of length (patch 1, Igor)
        build PCNT dynamically (Kevin)

Paolo Bonzini (6):
  acpi: move s3/s4/s5 to build_ssdt
  acpi: rename Processor SSDT constants
  acpi_extract: fix off-by-one
  acpi_extract: detect DeviceOp
  acpi: build PCNT dynamically
  acpi: build PCI hotplug devices from a single template

 Makefile              |    2 +-
 src/acpi.c            |  218 +++++++++++++++++++++++++++----------------------
 src/ssdt-pcihp.dsl    |  124 +++-------------------------
 src/ssdt-susp.dsl     |   41 ++++++++++
 tools/acpi_extract.py |   30 ++++++-
 5 files changed, 203 insertions(+), 212 deletions(-)
 create mode 100644 src/ssdt-susp.dsl

-- 
1.7.10.4