x86_64: Fix a warning.

diff --git a/sys/platform/pc64/x86_64/mp_machdep.c b/sys/platform/pc64/x86_64/mp_machdep.c
index 560c600..8778d02 100644 (file)
--- a/sys/platform/pc64/x86_64/mp_machdep.c
+++ b/sys/platform/pc64/x86_64/mp_machdep.c
@@ -425,7 +425,7 @@ mp_announce(void)
        for (x = 0; x < mp_napics; ++x) {
                kprintf(" io%d (APIC): apic id: %2d", x, IO_TO_ID(x));
                kprintf(", version: 0x%08x", io_apic_versions[x]);
-               kprintf(", at 0x%08x\n", io_apic_address[x]);
+               kprintf(", at 0x%08lx\n", io_apic_address[x]);
        }
 #else
        kprintf(" Warning: APIC I/O disabled\n");