|
|
@ -13,10 +13,10 @@ Signed-off-by: Phil Elwell <phil@raspberrypi.org>
|
|
|
|
|
|
|
|
|
|
|
|
--- a/drivers/firmware/raspberrypi.c
|
|
|
|
--- a/drivers/firmware/raspberrypi.c
|
|
|
|
+++ b/drivers/firmware/raspberrypi.c
|
|
|
|
+++ b/drivers/firmware/raspberrypi.c
|
|
|
|
@@ -15,6 +15,7 @@
|
|
|
|
@@ -14,6 +14,7 @@
|
|
|
|
|
|
|
|
#include <linux/module.h>
|
|
|
|
#include <linux/of_platform.h>
|
|
|
|
#include <linux/of_platform.h>
|
|
|
|
#include <linux/platform_device.h>
|
|
|
|
#include <linux/platform_device.h>
|
|
|
|
#include <linux/slab.h>
|
|
|
|
|
|
|
|
+#include <linux/reboot.h>
|
|
|
|
+#include <linux/reboot.h>
|
|
|
|
#include <linux/slab.h>
|
|
|
|
#include <linux/slab.h>
|
|
|
|
#include <soc/bcm2835/raspberrypi-firmware.h>
|
|
|
|
#include <soc/bcm2835/raspberrypi-firmware.h>
|
|
|
|