Revision 59df4c11

b/hw/acpi_piix4.c
190 190
    default:
191 191
        break;
192 192
    }
193
    PIIX4_DPRINTF("PM writew port=0x%04x val=0x%04x\n", addr, val);
193
    PIIX4_DPRINTF("PM writew port=0x%04x val=0x%04x\n", (unsigned int)addr,
194
                  (unsigned int)val);
194 195
}
195 196

  
196 197
static void pm_ioport_read(IORange *ioport, uint64_t addr, unsigned width,
......
216 217
        val = 0;
217 218
        break;
218 219
    }
219
    PIIX4_DPRINTF("PM readw port=0x%04x val=0x%04x\n", addr, val);
220
    PIIX4_DPRINTF("PM readw port=0x%04x val=0x%04x\n", (unsigned int)addr, val);
220 221
    *data = val;
221 222
}
222 223

  

Also available in: Unified diff