diff --git a/reactos/ntoskrnl/include/internal/arm/ke.h b/reactos/ntoskrnl/include/internal/arm/ke.h
index d0c1bbd6c15..e9d0864196d 100644
--- a/reactos/ntoskrnl/include/internal/arm/ke.h
+++ b/reactos/ntoskrnl/include/internal/arm/ke.h
@@ -5,6 +5,13 @@
 #pragma GCC system_header
 #endif
 
+
+//
+//Lockdown TLB entries
+//
+#define PCR_ENTRY,            0
+#define PDR_ENTRY,            2
+
 #define KeArchHaltProcessor() KeArmHaltProcessor()
 
 typedef union _ARM_TTB_REGISTER
diff --git a/reactos/ntoskrnl/include/internal/arm/ksarm.h b/reactos/ntoskrnl/include/internal/arm/ksarm.h
index 9dc9706f318..5aabffc5120 100644
--- a/reactos/ntoskrnl/include/internal/arm/ksarm.h
+++ b/reactos/ntoskrnl/include/internal/arm/ksarm.h
@@ -1,31 +1,25 @@
-//
-// CPSR Values
-//
+/*
+ * CPSR Values
+ */
 .equ CPSR_IRQ_DISABLE,     0x80
 .equ CPSR_FIQ_DISABLE,     0x40
 .equ CPSR_THUMB_ENABLE,    0x20   
 
-//
-// C1 Register Values
-//
+/*
+ * C1 Register Values
+ */
 .equ C1_MMU_CONTROL,       0x01
 .equ C1_ALIGNMENT_CONTROL, 0x02
 .equ C1_DCACHE_CONTROL,    0x04
 .equ C1_ICACHE_CONTROL,    0x1000
 .equ C1_VECTOR_CONTROL,    0x2000
 
-//
-// Loader Parameter Block Offsets
-//
+/*
+ * Loader Parameter Block Offsets
+ */
 .equ LpbKernelStack,       0x18
 
-//
-// PCR
-//
+/*
+ * PCR
+ */
 .equ KiPcr,                0xFFFFF000
-
-//
-// Lockdown TLB entries
-//
-.equ PCR_ENTRY             0
-.equ PDR_ENTRY             2
\ No newline at end of file