drivers/platform/x86/intel/tpmi_power_domains.h

   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