No reason KiDoubleFaultHandler should return a value - in fact it doesn't return at all

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