[PATCH] missing unlock_kernel()'s in reboot path

diff --git a/kernel/sys.c b/kernel/sys.c
index 5997c8b85e6e17b2ae9710162e258c5d55c900fb..5fe28f2ef32dbbaf6628f0c3d637acdc9a0a135f 100644 (file)
--- a/kernel/sys.c
+++ b/kernel/sys.c
@@ -390,6 +390,7 @@ asmlinkage long sys_reboot(int magic1, int magic2, unsigned int cmd, void * arg)
                device_shutdown();
                printk(KERN_EMERG "System halted.\n");
                machine_halt();
+               unlock_kernel();
                do_exit(0);
                break;
 
@@ -399,6 +400,7 @@ asmlinkage long sys_reboot(int magic1, int magic2, unsigned int cmd, void * arg)
                device_shutdown();
                printk(KERN_EMERG "Power down.\n");
                machine_power_off();
+               unlock_kernel();
                do_exit(0);
                break;