tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
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
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);
17int tpmi_get_linux_die_id(int pkg_id, int domain_id);
18
19#endif