[SeaBIOS] [PATCH v5 0/7] support for ACPI memory hotplug

[Hu Tao]

This series adds memory devices and related methods to support
ACPI memory hotplug.

This series works with qemu counterpart. See qemu series for
a detailed description.

Hu Tao (2):
  set psize to 0 when romfile_loadfile failed
  acpi: generate hotplug memory devices

Vasilis Liaskovitis (5):
  Add ACPI_EXTRACT_DEVICE* macros
  Add SSDT memory device support
  acpi-dsdt: Implement functions for memory hotplug
  q35: Add memory hotplug handler
  pci: Use paravirt interface for pcimem_start and pcimem64_start

 Makefile                      |   2 +-
 src/acpi-dsdt-mem-hotplug.dsl |  57 ++++++++++++++++
 src/acpi-dsdt.dsl             |   5 +-
 src/acpi.c                    | 151 ++++++++++++++++++++++++++++++++++++++++--
 src/paravirt.c                |  15 +++++
 src/paravirt.h                |   1 +
 src/pciinit.c                 |   9 +++
 src/q35-acpi-dsdt.dsl         |   6 +-
 src/romfile.c                 |  13 ++--
 src/ssdt-mem.dsl              |  61 +++++++++++++++++
 tools/acpi_extract.py         |  28 ++++++++
 11 files changed, 333 insertions(+), 15 deletions(-)
 create mode 100644 src/acpi-dsdt-mem-hotplug.dsl
 create mode 100644 src/ssdt-mem.dsl

-- 
1.8.3.1