kernel - Add support for up to 63 cpus & 512G of ram for 64-bit builds (3)

* Correct compile-time errors in vkernel64 build.

diff --git a/sys/platform/vkernel64/x86_64/db_interface.c b/sys/platform/vkernel64/x86_64/db_interface.c
index f5ef532..3ee8c10 100644 (file)
--- a/sys/platform/vkernel64/x86_64/db_interface.c
+++ b/sys/platform/vkernel64/x86_64/db_interface.c
@@ -159,8 +159,8 @@ kdb_trap(int type, int code, struct x86_64_saved_state *regs)
 
        crit_enter();
 #ifdef SMP
-       db_printf("\nCPU%d stopping CPUs: 0x%08x\n",
-           mycpu->gd_cpuid, mycpu->gd_other_cpus);
+       db_printf("\nCPU%d stopping CPUs: 0x%016jx\n",
+           mycpu->gd_cpuid, (uintmax_t)mycpu->gd_other_cpus);
 
        /* We stop all CPUs except ourselves (obviously) */
        stop_cpus(mycpu->gd_other_cpus);
@@ -188,8 +188,10 @@ kdb_trap(int type, int code, struct x86_64_saved_state *regs)
 
        /* Restart all the CPUs we previously stopped */
        if (stopped_cpus != mycpu->gd_other_cpus) {
-               db_printf("whoa, other_cpus: 0x%08x, stopped_cpus: 0x%016jx\n",
-                         mycpu->gd_other_cpus, (uintmax_t)stopped_cpus);
+               db_printf("whoa, other_cpus: 0x%016jx, "
+                         "stopped_cpus: 0x%016jx\n",
+                         (uintmax_t)mycpu->gd_other_cpus,
+                         (uintmax_t)stopped_cpus);
                panic("stop_cpus() failed");
        }
        restart_cpus(stopped_cpus);