1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Mapping of TPMI power domain and CPUs 4 * 5 * Copyright (c) 2024, Intel Corporation. 6 */ 7 8 #ifndef _TPMI_POWER_DOMAINS_H_ 9 #define _TPMI_POWER_DOMAINS_H_ 10 11 #include <linux/cpumask.h> 12 13 int tpmi_get_linux_cpu_number(int package_id, int die_id, int punit_core_id); 14 int tpmi_get_punit_core_number(int cpu_no); 15 int tpmi_get_power_domain_id(int cpu_no); 16 cpumask_t *tpmi_get_power_domain_mask(int cpu_no); 17 18 #endif 19