acpi/x86: define ACPI IO registers for PVH guests
authorBoris Ostrovsky <boris.ostrovsky@oracle.com>
Tue, 20 Dec 2016 08:54:38 +0000 (09:54 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 20 Dec 2016 08:54:38 +0000 (09:54 +0100)
commitd6ac8e22c7c5525db1da79fd1d1f03ee6b557f0d
treeef6f3fac20fab8a07697cb68098cf8d46321bfcd
parent19fb14622e94185afd34081e3bc74e9c1663e781
acpi/x86: define ACPI IO registers for PVH guests

Define VCPU available map address (used by AML's PRSC method)
and GPE0 CPU hotplug event number. Use these definitions in mk_dsdt
instead hardcoded values.

These definitions will later be used by both the hypervisor and
the toolstack (initially for PVH guests only), thus they are
placed in public headers.

Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
tools/libacpi/mk_dsdt.c
tools/libacpi/static_tables.c
xen/include/public/arch-x86/xen.h