mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Boris Ostrovsky
4a348565b1
Commit d6ac8e22c7 ("acpi/x86: define ACPI IO registers for
PVH guests") broke ARM64 build of mk_dsdt.c due to introduction
of XEN_ACPI_CPU_MAP[_LEN] macros that are needed only for x86
guests.
We could fix the build by dealing specifically with those macros
but since post-MADT code is not executed on ARM64 anyway we can
compile it for x86 only.
Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Tested-by: Stefano Stabellini <sstabellini@kernel.org>
Acked-by: Jan Beulich <jbeulich@suse.com>
ACPI builder for domain firmware BUILDING ACPI ----------------- Users of ACPI builder are expected to provide an include file that makes available the following: * strncpy * printf * NULL * test_bit * offsetof When compiling build.c, the name of this include file should be given to compiler as -DLIBACPI_STDUTILS=\"<filename>\". See tools/firmware/hvmloader/Makefile for an example. Note on DSDT Table ------------------ DSDT table source code is acpi_dsdt.asl It is already compiled and the output is acpi_dsdt.c Usually, user is not expected to change the acpi_dsdt.asl. In case that the acpi_dsdt.asl need to be updated, please Follow the instruction: # make acpi_dsdt.c Note: DSDT compiler "iasl" is needed. By default, it will be downloaded using wget in Makefile. if it failed, please download manually from http://developer.intel.com/technology/iapc/acpi/downloads.htm. then compile and install iasl