linux/arch/x86/kernel/acpi/cppc.c

// SPDX-License-Identifier: GPL-2.0-only
/*
 * cppc.c: CPPC Interface for x86
 * Copyright (c) 2016, Intel Corporation.
 */

#include <acpi/cppc_acpi.h>
#include <asm/msr.h>
#include <asm/processor.h>
#include <asm/topology.h>

/* Refer to drivers/acpi/cppc_acpi.c for the description of functions */

bool cpc_supported_by_cpu(void)
{ … }

bool cpc_ffh_supported(void)
{ … }

int cpc_read_ffh(int cpunum, struct cpc_reg *reg, u64 *val)
{ … }

int cpc_write_ffh(int cpunum, struct cpc_reg *reg, u64 val)
{ … }

static void amd_set_max_freq_ratio(void)
{ … }

static DEFINE_MUTEX(freq_invariance_lock);

void init_freq_invariance_cppc(void)
{ … }