/*
 * From coreboot file of the same name
 *
 * Copyright (C) 2011 The ChromiumOS Authors. All rights reserved.
 *
 * SPDX-License-Identifier:	GPL-2.0
 */

#ifndef _ASM_TURBO_H
#define _ASM_TURBO_H

#define CPUID_LEAF_PM		6
#define PM_CAP_TURBO_MODE	(1 << 1)

#define MSR_IA32_MISC_ENABLES	0x1a0
#define H_MISC_DISABLE_TURBO	(1 << 6)

enum {
	TURBO_UNKNOWN,
	TURBO_UNAVAILABLE,
	TURBO_DISABLED,
	TURBO_ENABLED,
};

/* Return current turbo state */
int turbo_get_state(void);

/* Enable turbo */
void turbo_enable(void);

#endif