Quelle  intel_tpmi.h   Sprache: C

/* SPDX-License-Identifier: GPL-2.0-only */
/*
 * intel_tpmi.h: Intel TPMI core external interface
 */

#ifndef _INTEL_TPMI_H_
#define _INTEL_TPMI_H_

#include <linux/bitfield.h>

struct oobmsm_plat_info;

#define TPMI_VERSION_INVALID 0xff
#define TPMI_MINOR_VERSION(val) FIELD_GET(GENMASK(4, 0), val)
#define TPMI_MAJOR_VERSION(val) FIELD_GET(GENMASK(7, 5), val)

/*
 * List of supported TMPI IDs.
 * Some TMPI IDs are not used by Linux, so the numbers are not consecutive.
 */
enum intel_tpmi_id {
 TPMI_ID_RAPL = 0, /* Running Average Power Limit */
 TPMI_ID_PEM = 1, /* Power and Perf excursion Monitor */
 TPMI_ID_UNCORE = 2, /* Uncore Frequency Scaling */
 TPMI_ID_SST = 5, /* Speed Select Technology */
 TPMI_ID_PLR = 0xc, /* Performance Limit Reasons */
 TPMI_CONTROL_ID = 0x80, /* Special ID for getting feature status */
 TPMI_INFO_ID = 0x81, /* Special ID for PCI BDF and Package ID information */
};

struct oobmsm_plat_info *tpmi_get_platform_data(struct auxiliary_device *auxdev);
struct resource *tpmi_get_resource_at_index(struct auxiliary_device *auxdev, int index);
int tpmi_get_resource_count(struct auxiliary_device *auxdev);
int tpmi_get_feature_status(struct auxiliary_device *auxdev, int feature_id, bool *read_blocked,
       bool *write_blocked);
struct dentry *tpmi_get_debugfs_dir(struct auxiliary_device *auxdev);
#endif