Merge branch 'acpi-ec'
[linux-drm-fsl-dcu.git] / arch / microblaze / kernel / reset.c
index fbe58c6554a84269532e4ebae2252e713b970322..bab4c8330ef4f3f165ad2992d9660776fb0e3c41 100644 (file)
@@ -9,7 +9,6 @@
 
 #include <linux/init.h>
 #include <linux/of_platform.h>
-#include <asm/prom.h>
 
 /* Trigger specific functions */
 #ifdef CONFIG_GPIOLIB