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