19 lines · c
1/* SPDX-License-Identifier: GPL-2.0-only */2/*3 * Mapping of TPMI power domain and CPUs4 *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 13int tpmi_get_linux_cpu_number(int package_id, int die_id, int punit_core_id);14int tpmi_get_punit_core_number(int cpu_no);15int tpmi_get_power_domain_id(int cpu_no);16cpumask_t *tpmi_get_power_domain_mask(int cpu_no);17 18#endif19