d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix printf arg on 64-bit arch by casting to an int. The IO port is never

Browse Source 
more than a couple digits anyway.

Pointy hat to:	njl
This commit is contained in:
Nate Lawson 2006-03-29 18:47:59 +00:00
parent 1aa4d65200
commit 6e8e1dbdba
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=157269
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sys/dev/acpica/Osd/OsdHardware.c
View File

@ -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);