soc/intel/common: Fix acpigen use for processor Device

Change-Id: Ib4e21732ac31076a1a97a774e03c8466d17c5f29
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/74395
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>

1 files changed, 1 insertions, 1 deletions

diff --git a/src/soc/intel/common/block/acpi/acpi.c b/src/soc/intel/common/block/acpi/acpi.c
index 4b790b77f0..4139054695 100644
--- a/src/soc/intel/common/block/acpi/acpi.c
+++ b/src/soc/intel/common/block/acpi/acpi.c
@@ -414,7 +414,7 @@ void generate_cpu_entries(const struct device *device)
 			/* Soc specific power states generation */
 			soc_power_states_generation(core_id, num_virt);
 
-			acpigen_pop_len();
+			acpigen_write_processor_device_end();
 		}
 	}
 	/* PPKG is usually used for thermal management