| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #ifndef DPTF_CPU_DEVICE |
| #define DPTF_CPU_DEVICE TCPU |
| #endif |
| |
| #ifndef DPTF_CPU_ADDR |
| #define DPTF_CPU_ADDR 0x00040000 |
| #endif |
| |
| #ifndef DPTF_CPU_PASSIVE |
| #define DPTF_CPU_PASSIVE 80 |
| #endif |
| |
| #ifndef DPTF_CPU_CRITICAL |
| #define DPTF_CPU_CRITICAL 90 |
| #endif |
| |
| #ifndef DPTF_CPU_ACTIVE_AC0 |
| #define DPTF_CPU_ACTIVE_AC0 90 |
| #endif |
| |
| #ifndef DPTF_CPU_ACTIVE_AC1 |
| #define DPTF_CPU_ACTIVE_AC1 80 |
| #endif |
| |
| #ifndef DPTF_CPU_ACTIVE_AC2 |
| #define DPTF_CPU_ACTIVE_AC2 70 |
| #endif |
| |
| #ifndef DPTF_CPU_ACTIVE_AC3 |
| #define DPTF_CPU_ACTIVE_AC3 60 |
| #endif |
| |
| #ifndef DPTF_CPU_ACTIVE_AC4 |
| #define DPTF_CPU_ACTIVE_AC4 50 |
| #endif |
| |
| /* DPTF ACPI Device ID */ |
| #ifndef DPTF_DPTF_DEVICE |
| #define DPTF_DPTF_DEVICE "INT3400" |
| #endif |
| |
| /* Generic ACPI Device ID for TSR0/1/2/3 and charger */ |
| #ifndef DPTF_GEN_DEVICE |
| #define DPTF_GEN_DEVICE "INT3403" |
| #endif |
| |
| /* Fan ACPI Device ID */ |
| #ifndef DPTF_FAN_DEVICE |
| #define DPTF_FAN_DEVICE "INT3404" |
| #endif |