diff options
| author | Dave Jones <davej@codemonkey.org.uk> | 2002-11-25 02:35:21 -0800 |
|---|---|---|
| committer | Dave Jones <davej@codemonkey.org.uk> | 2002-11-25 02:35:21 -0800 |
| commit | 180e20e896772dda808cf79169ef44f04874d171 (patch) | |
| tree | c085e479c7411c710725ccdb4cb6efb5f9c9160a /kernel/sys.c | |
| parent | 443ac42a17489947f7c3e1e401c8562e6ced62eb (diff) | |
[PATCH] missing unlock_kernel()'s in reboot path
Diffstat (limited to 'kernel/sys.c')
| -rw-r--r-- | kernel/sys.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/sys.c b/kernel/sys.c index 5997c8b85e6e..5fe28f2ef32d 100644 --- 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; |