vc4/hdmi: Update MAI_THR for D0
[platform/kernel/linux-rpi.git] / drivers / pwm / pwm-microchip-core.c
index 8750b57..e7525c9 100644 (file)
@@ -37,7 +37,7 @@
 #include <linux/math.h>
 #include <linux/module.h>
 #include <linux/mutex.h>
-#include <linux/of_device.h>
+#include <linux/of.h>
 #include <linux/platform_device.h>
 #include <linux/pwm.h>