hw/acpi/cpu_hotplug: Include 'x86.h' instead of 'pc.h'
commita722c0b125037dee7c68c688f681dcfc21522fc6
authorPhilippe Mathieu-Daudé <philmd@linaro.org>
Tue, 13 Feb 2024 12:01:52 +0000 (13 13:01 +0100)
committerMichael Tokarev <mjt@tls.msk.ru>
Tue, 20 Feb 2024 17:34:21 +0000 (20 20:34 +0300)
tree8e2e479a155fcc1617563128f905b812db04462d
parent480c9b22330ddf18b11c027857e3c0d54448e027
hw/acpi/cpu_hotplug: Include 'x86.h' instead of 'pc.h'

X86 CPU hotplug isn't specific to PC machines.

Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Michael Tokarev <mjt@tls.msk.ru>
Reviewed-by: Luc Michel <luc.michel@amd.com>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
hw/acpi/cpu_hotplug.c