>>> On 10.02.17 at 13:33, wrote:
> Changes since v5:
> - s/hvm_copy_to_guest_phys_vcpu/hvm_copy_to_guest_phys/.
> - Move pvh_add_mem_range to previous patch.
> - Add a comment regarding the current limitation to only 1 emulated IO APIC.
> - s/dom0_max_vcpus()/max_vcpus/ in pvh_setup_acpi_madt.
Create a new MADT table that contains the topology exposed to the guest. A
new XSDT table is also created, in order to filter the tables that we want
to expose to the guest, plus the Xen crafted MADT. This in turn requires Xen
to also create a new RSDP in order to make it point to the custom XSDT.
