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);