acpi/acpigen: introduce acpigen_write_processor_device
The ACPI PROCESSOR_OP has been deprecated in ACPI 6.0 and dropped in
ACPI 6.4 and is now permanently reserved. As a replacement, DEVICE_OP
with the special HID ACPI0007 should be used instead. This special HID
was introduced in version 3 of the ACPI spec. To have a function to
generate this, acpigen_write_processor_device is introduced. The CPU
index is used as UID which can be assumed to be unique.
Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Change-Id: Ifb0da903a972be134bb3b9071f81b441f60917d1
Reviewed-on: https://review.coreboot.org/c/coreboot/+/72469
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
diff --git a/src/acpi/acpigen.c b/src/acpi/acpigen.c
index b8f1dfb..305cddb 100644
--- a/src/acpi/acpigen.c
+++ b/src/acpi/acpigen.c
@@ -409,6 +409,15 @@
acpigen_emit_byte(pblock_len);
}
+void acpigen_write_processor_device(unsigned int cpu_index)
+{
+ acpigen_emit_ext_op(DEVICE_OP);
+ acpigen_write_len_f();
+ acpigen_write_processor_namestring(cpu_index);
+ acpigen_write_name_string("_HID", "ACPI0007");
+ acpigen_write_name_integer("_UID", cpu_index);
+}
+
void acpigen_write_processor_package(const char *const name, const unsigned int first_core,
const unsigned int core_count)
{
diff --git a/src/include/acpi/acpigen.h b/src/include/acpi/acpigen.h
index ac0cab2..c506021 100644
--- a/src/include/acpi/acpigen.h
+++ b/src/include/acpi/acpigen.h
@@ -455,6 +455,11 @@
{
acpigen_pop_len();
}
+void acpigen_write_processor_device(unsigned int cpu_index);
+__always_inline void acpigen_write_processor_device_end(void)
+{
+ acpigen_pop_len();
+}
void acpigen_write_processor_package(const char *name,
unsigned int first_core,
unsigned int core_count);