efi/arm32-stub: Allow boot-time allocations in the vmlinux region
[platform/kernel/linux-rpi.git] / lib / dump_stack.c
index c30d07e..625375e 100644 (file)
@@ -6,6 +6,7 @@
 #include <linux/kernel.h>
 #include <linux/export.h>
 #include <linux/sched.h>
+#include <linux/sched/debug.h>
 #include <linux/smp.h>
 #include <linux/atomic.h>