#include <mali_kbase.h>
+#include <mali_kbase_tlstream.h>
#include <mali_kbase_config_defaults.h>
#include <backend/gpu/mali_kbase_pm_internal.h>
#ifdef CONFIG_DEVFREQ_THERMAL
kbdev->current_voltage = voltage;
+ kbase_tlstream_aux_devfreq_target((u64)freq);
+
kbase_pm_reset_dvfs_utilisation(kbdev);
return err;