#include <linux/clk.h>
#include <linux/devfreq.h>
#include <linux/devfreq_cooling.h>
#include <linux/device.h>
#include <linux/platform_device.h>
#include <linux/pm_opp.h>
#include <linux/property.h>
#include "lima_device.h"
#include "lima_devfreq.h"
static void lima_devfreq_update_utilization(struct lima_devfreq *devfreq)
{ … }
static int lima_devfreq_target(struct device *dev, unsigned long *freq,
u32 flags)
{ … }
static void lima_devfreq_reset(struct lima_devfreq *devfreq)
{ … }
static int lima_devfreq_get_dev_status(struct device *dev,
struct devfreq_dev_status *status)
{ … }
static struct devfreq_dev_profile lima_devfreq_profile = …;
void lima_devfreq_fini(struct lima_device *ldev)
{ … }
int lima_devfreq_init(struct lima_device *ldev)
{ … }
void lima_devfreq_record_busy(struct lima_devfreq *devfreq)
{ … }
void lima_devfreq_record_idle(struct lima_devfreq *devfreq)
{ … }
int lima_devfreq_resume(struct lima_devfreq *devfreq)
{ … }
int lima_devfreq_suspend(struct lima_devfreq *devfreq)
{ … }