diff --git a/ntoskrnl/kd64/kdinit.c b/ntoskrnl/kd64/kdinit.c
index c371d1526b2..9b5f2d3b6e1 100644
--- a/ntoskrnl/kd64/kdinit.c
+++ b/ntoskrnl/kd64/kdinit.c
@@ -99,8 +99,8 @@ KdpPrintBanner(VOID)
     {
         DPRINT1("Command Line: %s\n", KeLoaderBlock->LoadOptions);
         DPRINT1("ARC Paths: %s %s %s %s\n",
-                KeLoaderBlock->ArcBootDeviceName, KeLoaderBlock->NtHalPathName,
-                KeLoaderBlock->ArcHalDeviceName, KeLoaderBlock->NtBootPathName);
+                KeLoaderBlock->ArcHalDeviceName, KeLoaderBlock->NtHalPathName,
+                KeLoaderBlock->ArcBootDeviceName, KeLoaderBlock->NtBootPathName);
     }
 }