diff options
Diffstat (limited to 'sys/x86/acpica/madt.c')
| -rw-r--r-- | sys/x86/acpica/madt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/x86/acpica/madt.c b/sys/x86/acpica/madt.c index c6358ad7e847..a593028ffb5a 100644 --- a/sys/x86/acpica/madt.c +++ b/sys/x86/acpica/madt.c @@ -368,8 +368,8 @@ madt_add_cpu(u_int acpi_id, u_int apic_id, u_int flags) * MP code figure out which CPU is the BSP on its own. */ if (bootverbose) - printf("MADT: Found CPU APIC ID %u ACPI ID %u: %s\n", - apic_id, acpi_id, flags & ACPI_MADT_ENABLED ? + printf("MADT: Found CPU APIC ID %d ACPI ID %u: %s\n", + (int)apic_id, acpi_id, flags & ACPI_MADT_ENABLED ? "enabled" : "disabled"); if (!(flags & ACPI_MADT_ENABLED)) return; |