diff --git a/hw/acpi/aml-build.c b/hw/acpi/aml-build.c
index 8a3b51c8359a320cffa13a2f26b1bd16225bd2db..f01669df57015237c24587d57c940c3ef322f8fe 100644
--- a/hw/acpi/aml-build.c
+++ b/hw/acpi/aml-build.c
@@ -167,7 +167,7 @@ void build_pptt(GArray *table_data, BIOSLinker *linker, int possible_cpus)
     struct offset_status offset;
     const MachineState *ms = MACHINE(qdev_get_machine());
     unsigned int smp_cores = ms->smp.cores;
-    unsigned int smp_sockets = ms->smp.cpus / (smp_cores * ms->smp.threads);
+    unsigned int smp_sockets = ms->smp.max_cpus / (smp_cores * ms->smp.threads);
 
     acpi_data_push(table_data, sizeof(AcpiTableHeader));