From 6e8e1dbdba6d42e65abc0cf5b3b1489d703d25ef Mon Sep 17 00:00:00 2001 From: Nate Lawson Date: Wed, 29 Mar 2006 18:47:59 +0000 Subject: [PATCH] Fix printf arg on 64-bit arch by casting to an int. The IO port is never more than a couple digits anyway. Pointy hat to: njl --- sys/dev/acpica/Osd/OsdHardware.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sys/dev/acpica/Osd/OsdHardware.c b/sys/dev/acpica/Osd/OsdHardware.c index 4a6127008386..5249fef2aec2 100644 --- a/sys/dev/acpica/Osd/OsdHardware.c +++ b/sys/dev/acpica/Osd/OsdHardware.c @@ -126,7 +126,7 @@ AcpiOsReadPort(ACPI_IO_ADDRESS InPort, UINT32 *Value, UINT32 Width) error = acpi_os_check_port(InPort, Width); if (error != 0) { - printf("acpi: bad read from port 0x%03x (%d)\n", InPort, Width); + printf("acpi: bad read from port 0x%03x (%d)\n", (int)InPort, Width); if (error == -1) return (AE_BAD_PARAMETER); } @@ -159,7 +159,7 @@ AcpiOsWritePort(ACPI_IO_ADDRESS OutPort, UINT32 Value, UINT32 Width) error = acpi_os_check_port(OutPort, Width); if (error != 0) { - printf("acpi: bad write to port 0x%03x (%d), val %#x\n", OutPort, + printf("acpi: bad write to port 0x%03x (%d), val %#x\n", (int)OutPort, Width, Value); if (error == -1) return (AE_BAD_PARAMETER);