/* SPDX-License-Identifier: GPL-2.0-only */

/* Below are the unique ACPI Device IDs for thermal/dptf on Tiger Lake SoC. */
/* DPTF ACPI Device ID */
#define DPTF_DPTF_DEVICE		"INTC1040"
/* Generic ACPI Device ID for TSR0/1/2/3 and charger */
#define DPTF_GEN_DEVICE		"INTC1043"
/* Fan ACPI Device ID */
#define DPTF_FAN_DEVICE		"INTC1044"