CONFIG_INTEL_TPMI_POWER_DOMAINS (not configurable)

modulename: intel_tpmi_power_domains.ko

configname: CONFIG_INTEL_TPMI_POWER_DOMAINS

Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>INTEL_TPMI_POWER_DOMAINS
In linux kernel since version 6.11 (release Date: 2024-09-15)  
source code: