diff --git a/reactos/include/ndk/halfuncs.h b/reactos/include/ndk/halfuncs.h
index 9b9d3406533..ec52cf1de80 100644
--- a/reactos/include/ndk/halfuncs.h
+++ b/reactos/include/ndk/halfuncs.h
@@ -133,7 +133,7 @@ BOOLEAN
 NTAPI
 HalBeginSystemInterrupt(
     KIRQL Irql,
-    ULONG Vector,
+    UCHAR Vector,
     PKIRQL OldIrql
 );
 
@@ -147,7 +147,7 @@ NTHALAPI
 VOID
 NTAPI
 HalDisableSystemInterrupt(
-    ULONG Vector,
+    UCHAR Vector,
     KIRQL Irql
 );
 
@@ -155,7 +155,7 @@ NTHALAPI
 BOOLEAN
 NTAPI
 HalEnableSystemInterrupt(
-    ULONG Vector,
+    UCHAR Vector,
     KIRQL Irql,
     KINTERRUPT_MODE InterruptMode
 );
@@ -165,7 +165,7 @@ VOID
 NTAPI
 HalEndSystemInterrupt(
     KIRQL Irql,
-    ULONG Vector
+    UCHAR Vector
 );
 
 #ifdef _ARM_ // FIXME: ndk/arm? armddk.h?
diff --git a/reactos/include/ndk/kefuncs.h b/reactos/include/ndk/kefuncs.h
index 51f880a5f0a..3e3b2beed30 100644
--- a/reactos/include/ndk/kefuncs.h
+++ b/reactos/include/ndk/kefuncs.h
@@ -178,7 +178,6 @@ KiCoprocessorError(
 );
 
 VOID
-NTAPI
 KiUnexpectedInterrupt(
     VOID
 );