Use W32API for NTOSKRNL.

[reactos.git] / reactos / include / ddk / halfuncs.h

diff --git a/reactos/include/ddk/halfuncs.h b/reactos/include/ddk/halfuncs.h
index 25170e7..f2ba785 100644 (file)
--- a/reactos/include/ddk/halfuncs.h
+++ b/reactos/include/ddk/halfuncs.h
@@ -136,10 +136,6 @@ HalSetRealTimeClock(PTIME_FIELDS Time);
 HalSetTimeIncrement
 */
 
-BOOLEAN STDCALL
-HalStartNextProcessor(ULONG Unknown1,
-                     ULONG Unknown2);
-
 /*
 HalStartProfileInterrupt
 */