[hyperion] 15927: No reason KiDoubleFaultHandler should return a value - in fact it doesn't return at all

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