1 // SPDX-License-Identifier: GPL-2.0+
3 * Texas Instruments' K3 Adaptive Voltage Scaling driver
5 * Copyright (C) 2019 Texas Instruments Incorporated - http://www.ti.com/
6 * Tero Kristo <t-kristo@ti.com>
13 #define AM6_VDD_WKUP 0
15 #define AM6_VDD_CORE 2
16 #define AM6_VDD_MPU0 3
17 #define AM6_VDD_MPU1 4
23 #define AM6_OPP_TURBO 3
25 int k3_avs_set_opp(struct udevice *dev, int vdd_id, int opp_id);
26 int k3_avs_notify_freq(int dev_id, int clk_id, u32 freq);