// SPDX-License-Identifier: GPL-2.0+
/*
 * Texas Instruments' K3 Adaptive Voltage Scaling driver
 *
 * Copyright (C) 2019 Texas Instruments Incorporated - http://www.ti.com/
 *      Tero Kristo <t-kristo@ti.com>
 *
 */

#ifndef _K3_AVS0_
#define _K3_AVS0_

#define AM6_VDD_WKUP		0
#define AM6_VDD_MCU		1
#define AM6_VDD_CORE		2
#define AM6_VDD_MPU0		3
#define AM6_VDD_MPU1		4

#define J721E_VDD_MPU		2

#define NUM_OPPS		4

#define AM6_OPP_NOM		1
#define AM6_OPP_OD		2
#define AM6_OPP_TURBO		3

int k3_avs_set_opp(struct udevice *dev, int vdd_id, int opp_id);
int k3_avs_notify_freq(int dev_id, int clk_id, u32 freq);

#endif