1 files changed, 4 insertions, 3 deletions

diff --git a/arch/um/kernel/reboot.c b/arch/um/kernel/reboot.c
index 04cebcf0679f..00197d3d21ec 100644
--- a/arch/um/kernel/reboot.c
+++ b/arch/um/kernel/reboot.c
@@ -4,6 +4,7 @@
  */
 
 #include "linux/sched.h"
+#include "kern_util.h"
 #include "os.h"
 #include "skas.h"
 
@@ -11,7 +12,7 @@ void (*pm_power_off)(void);
 
 static void kill_off_processes(void)
 {
-        if(proc_mm)
+        if (proc_mm)
                 /*
                  * FIXME: need to loop over userspace_pids
                  */
@@ -21,8 +22,8 @@ static void kill_off_processes(void)
                 int pid, me;
 
                 me = os_getpid();
-                for_each_process(p){
-                        if(p->mm == NULL)
+                for_each_process(p) {
+                        if (p->mm == NULL)
                                 continue;
 
                         pid = p->mm->context.id.u.pid;