[SeaBIOS] [PATCH 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 and 2 prepare for the change,
by moving other pieces of ssdt-pcihd.dsl out of the way.  Patch 3 is also
a simple rename and patch 4 fixes a bug in acpi_extract.  Patches 5 and
6 finally do the movement.

Paolo Bonzini (6):
  acpi: move PCNT to DSDT
  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 PCI hotplug devices from a single template

 Makefile              |    2 +-
 src/acpi-dsdt.dsl     |   39 +++++++++++-
 src/acpi.c            |  161 ++++++++++++++++++++++++++-----------------------
 src/ssdt-pcihp.dsl    |  124 ++++---------------------------------
 src/ssdt-susp.dsl     |   41 +++++++++++++
 tools/acpi_extract.py |   30 ++++++++-
 6 files changed, 206 insertions(+), 191 deletions(-)
 create mode 100644 src/ssdt-susp.dsl

-- 
1.7.10.4