diff options
Diffstat (limited to 'sys/amd64/include/mptable.h')
| -rw-r--r-- | sys/amd64/include/mptable.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/amd64/include/mptable.h b/sys/amd64/include/mptable.h index edd83e3..12d7578 100644 --- a/sys/amd64/include/mptable.h +++ b/sys/amd64/include/mptable.h @@ -2576,7 +2576,7 @@ ap_init(void) if (PCPU_GET(cpuid) != apic_id) { printf("SMP: cpuid = %d\n", PCPU_GET(cpuid)); printf("SMP: apic_id = %d\n", apic_id); - printf("PTD[MPPTDI] = %p\n", (void *)PTD[MPPTDI]); + printf("PTD[MPPTDI] = %#jx\n", (uintmax_t)PTD[MPPTDI]); panic("cpuid mismatch! boom!!"); } |
