diff --git a/sdk/include/xdk/arm/ke.h b/sdk/include/xdk/arm/ke.h
index 74e5bdda2c3..dc344b30c11 100644
--- a/sdk/include/xdk/arm/ke.h
+++ b/sdk/include/xdk/arm/ke.h
@@ -347,9 +347,7 @@ KeGetPcr(
 #if (NTDDI_VERSION < NTDDI_WIN7) || !defined(NT_PROCESSOR_GROUPS)
 FORCEINLINE
 ULONG
-KeGetCurrentProcessorNumber(
-    VOID)
-
+KeGetCurrentProcessorNumber(VOID)
 {
     return *((PUCHAR)KeGetPcr() + 0x580);
 }
diff --git a/sdk/include/xdk/ia64/ke.h b/sdk/include/xdk/ia64/ke.h
index 27ff06ad3f0..7a8e7a45809 100644
--- a/sdk/include/xdk/ia64/ke.h
+++ b/sdk/include/xdk/ia64/ke.h
@@ -35,4 +35,3 @@ NTAPI
 KeGetCurrentThread(VOID);
 
 $endif
-
diff --git a/sdk/include/xdk/mips/ke.h b/sdk/include/xdk/mips/ke.h
index 31384ad4d27..d3d8820e2f8 100644
--- a/sdk/include/xdk/mips/ke.h
+++ b/sdk/include/xdk/mips/ke.h
@@ -1,4 +1,5 @@
 $if (_WDMDDK_)
+/** Kernel definitions for MIPS **/
 #error MIPS Headers are totally incorrect
 
 //
@@ -63,4 +64,3 @@ NTAPI
 KeRaiseIrqlToSynchLevel(VOID);
 
 $endif
-
diff --git a/sdk/include/xdk/ppc/ke.h b/sdk/include/xdk/ppc/ke.h
index b3a81bc7aa9..d7101618a95 100644
--- a/sdk/include/xdk/ppc/ke.h
+++ b/sdk/include/xdk/ppc/ke.h
@@ -1,4 +1,5 @@
 $if (_WDMDDK_)
+/** Kernel definitions for PPC **/
 
 /* Interrupt request levels */
 #define PASSIVE_LEVEL                      0
@@ -103,5 +104,3 @@ NTAPI
 KeRaiseIrqlToSynchLevel(VOID);
 
 $endif
-
-
diff --git a/sdk/include/xdk/x86/ke.h b/sdk/include/xdk/x86/ke.h
index f7ef92c2972..c4be5220fa0 100644
--- a/sdk/include/xdk/x86/ke.h
+++ b/sdk/include/xdk/x86/ke.h
@@ -336,7 +336,3 @@ KeGetCurrentProcessorNumber(VOID)
 }
 
 $endif (_NTDDK_)
-
-
-
-