--- linux/arch/i386/mm/fault.c.ORG Thu Nov 13 04:45:51 1997
+++ linux/arch/i386/mm/fault.c Thu Nov 13 04:41:10 1997
@@ -205,7 +205,6 @@
handler = (void (*) (void)) ((low&0x0000ffff) | (high&0xffff0000));
printk("<handler %p... ", handler);
- unlock_kernel();
if (handler==divide_error)
do_divide_error(regs,error_code);