soc/intel/alderlake: Move DPTF ACPI Device IDs into header file

This patch moves DPTF ACPI Device IDs into the header file (soc/dptf.h)
so that upcoming patches in this patch train can achieve more
common code.

TEST=Able to build and boot Google/Kano.

Signed-off-by: Subrata Banik <subratabanik@google.com>
Change-Id: Ied32eb301b0702ad7cf12b662886c9060415eb72
Reviewed-on: https://review.coreboot.org/c/coreboot/+/71103
Reviewed-by: Eric Lai <eric_lai@quanta.corp-partner.google.com>
Reviewed-by: Sumeet R Pawnikar <sumeet.r.pawnikar@intel.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Kapil Porwal <kapilporwal@google.com>
diff --git a/src/soc/intel/alderlake/dptf.c b/src/soc/intel/alderlake/dptf.c
index e01e716..0d4560b 100644
--- a/src/soc/intel/alderlake/dptf.c
+++ b/src/soc/intel/alderlake/dptf.c
@@ -1,21 +1,22 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <drivers/intel/dptf/dptf.h>
+#include <soc/dptf.h>
 
 static const struct dptf_platform_info adl_dptf_platform_info = {
 	.use_eisa_hids = false,
 	/* _HID for the toplevel DPTF device, typically \_SB.DPTF */
-	.dptf_device_hid = "INTC1041",
+	.dptf_device_hid = DPTF_DPTF_DEVICE,
 	/* _HID for Intel DPTF Generic Device (these require PTYP as well) */
-	.generic_hid = "INTC1046",
+	.generic_hid = DPTF_GEN_DEVICE,
 	/* _HID for Intel DPTF Fan Device */
-	.fan_hid = "INTC1048",
+	.fan_hid = DPTF_FAN_DEVICE,
 	/* _HID for the toplevel TPCH device, typically \_SB.TPCH */
-	.tpch_device_hid = "INTC1049",
+	.tpch_device_hid = DPTF_TPCH_DEVICE,
 	/* _HID for the toplevel TPWR device, typically \_SB.DPTF.TPWR */
-	.tpwr_device_hid = "INTC1060",
+	.tpwr_device_hid = DPTF_TPWR_DEVICE,
 	/* _HID for the toplevel BAT1 device, typically \_SB.DPTF.BAT1 */
-	.tbat_device_hid = "INTC1061",
+	.tbat_device_hid = DPTF_BAT1_DEVICE,
 
 	.tpch_method_names = {
 		.set_fivr_low_clock_method = "RFC0",
diff --git a/src/soc/intel/alderlake/include/soc/dptf.h b/src/soc/intel/alderlake/include/soc/dptf.h
new file mode 100644
index 0000000..a15d51c
--- /dev/null
+++ b/src/soc/intel/alderlake/include/soc/dptf.h
@@ -0,0 +1,20 @@
+/* SPDX-License-Identifier: GPL-2.0-only */
+
+#ifndef _SOC_DPTF_H_
+#define _SOC_DPTF_H_
+
+/* Below are the unique ACPI Device IDs for thermal/dptf on Alder Lake SoC. */
+/* DPTF ACPI Device ID */
+#define DPTF_DPTF_DEVICE	"INTC1041"
+/* Generic ACPI Device ID for TSR0/1/2/3 and charger */
+#define DPTF_GEN_DEVICE		"INTC1046"
+/* Fan ACPI Device ID */
+#define DPTF_FAN_DEVICE		"INTC1048"
+/* TPCH ACPI Device ID */
+#define DPTF_TPCH_DEVICE	"INTC1049"
+/* TPWR ACPI Device ID */
+#define DPTF_TPWR_DEVICE	"INTC1060"
+/* BAT1 ACPI Device ID */
+#define DPTF_BAT1_DEVICE	"INTC1061"
+
+#endif /* _SOC_DPTF_H_ */