Fixed double fault handler. Personally I disclaim all responsiblity

for these changes. I was mostly just staring in amazement at the screen
while Axel and Thomas were discussing IA32 internals. A particularly
fascinating moment was when Thomas produced the cause of a bug we had
been trying to track down for hours off the top of his head (of course
iret behaves specially when the NT bit is set :-). His slowness must be
excused though, since he hadn't slept for more then 30 hours. ;-)

The code doesn't wholeheartedly deal with multi-processor machines yet.
Axel will certainly do some cleanup...


git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@12239 a95241bf-73f2-0310-859d-f6bbb57e9c96

headers/private/kernel/arch/x86/interrupts.h

@@ -6,12 +6,14 @@
 #define _NEWOS_KERNEL_ARCH_I386_INTERRUPTS_H
 
 void trap0();void trap1();void trap2();void trap3();void trap4();void trap5();
-void trap6();void trap7();void trap8();void trap9();void trap10();void trap11();
+void trap6();void trap7();void trap9();void trap10();void trap11();
 void trap12();void trap13();void trap14();void trap16();void trap17();void trap18();
 void trap32();void trap33();void trap34();void trap35();void trap36();void trap37();
 void trap38();void trap39();void trap40();void trap41();void trap42();void trap43();
 void trap44();void trap45();void trap46();void trap47();
 
+void double_fault();	// int 8
+
 void trap99();
 
 void trap251();void trap252();void trap253();void trap254();void trap255();