diff options
| author | njl <njl@FreeBSD.org> | 2006-03-29 18:47:59 +0000 |
|---|---|---|
| committer | njl <njl@FreeBSD.org> | 2006-03-29 18:47:59 +0000 |
| commit | bec465e878dd6b17c9c4cbd64be57733cf5e49c8 (patch) | |
| tree | fac76c5dc1cbd3d068a9ae56848c1f94fe77f9de /sys/dev/acpica/Osd | |
| parent | abde52e5ce80edbdd681c86c97f94e86fb5a49a4 (diff) | |
| download | FreeBSD-src-bec465e878dd6b17c9c4cbd64be57733cf5e49c8.zip FreeBSD-src-bec465e878dd6b17c9c4cbd64be57733cf5e49c8.tar.gz | |
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
Diffstat (limited to 'sys/dev/acpica/Osd')
| -rw-r--r-- | sys/dev/acpica/Osd/OsdHardware.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/dev/acpica/Osd/OsdHardware.c b/sys/dev/acpica/Osd/OsdHardware.c index 4a61270..5249fef 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); |
