commit | a722c0b125037dee7c68c688f681dcfc21522fc6 | [log] [tgz] |
---|---|---|
author | Philippe Mathieu-Daudé <philmd@linaro.org> | Tue Feb 13 13:01:52 2024 +0100 |
committer | Michael Tokarev <mjt@tls.msk.ru> | Tue Feb 20 20:34:21 2024 +0300 |
tree | 8e2e479a155fcc1617563128f905b812db04462d | |
parent | 480c9b22330ddf18b11c027857e3c0d54448e027 [diff] |
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>