No reason KiDoubleFaultHandler should return a value - in fact it
doesn't return at all
Modified: trunk/reactos/ntoskrnl/ke/i386/exp.c
_____
Modified: trunk/reactos/ntoskrnl/ke/i386/exp.c
--- trunk/reactos/ntoskrnl/ke/i386/exp.c 2005-06-15 20:24:31 UTC
(rev 15926)
+++ trunk/reactos/ntoskrnl/ke/i386/exp.c 2005-06-15 21:55:36 UTC
(rev 15927)
@@ -178,7 +178,7 @@
return(0);
}
-ULONG
+VOID
KiDoubleFaultHandler(VOID)
{
unsigned int cr2;
@@ -384,7 +384,6 @@
DbgPrint("\n");
for(;;);
- return 0;
}
VOID