2 * From coreboot file of the same name
4 * Copyright (C) 2011 The ChromiumOS Authors. All rights reserved.
6 * SPDX-License-Identifier: GPL-2.0
12 #define CPUID_LEAF_PM 6
13 #define PM_CAP_TURBO_MODE (1 << 1)
15 #define MSR_IA32_MISC_ENABLES 0x1a0
16 #define H_MISC_DISABLE_TURBO (1 << 6)
25 /* Return current turbo state */
26 int turbo_get_state(void);
29 void turbo_enable(void);