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>
This commit is contained in:
Subrata Banik 2022-12-19 17:35:47 +05:30
parent 113d937c80
commit 80ed5012ef
2 changed files with 27 additions and 6 deletions

View File

@ -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",

View File

@ -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_ */