diff options
| -rw-r--r-- | hw/acpi.c | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -609,7 +609,7 @@ static uint32_t gpe_readb(void *opaque, uint32_t addr) } #if defined(DEBUG) - printf("gpe read %lx == %lx\n", addr, val); + printf("gpe read %x == %x\n", addr, val); #endif return val; } @@ -651,7 +651,7 @@ static void gpe_writeb(void *opaque, uint32_t addr, uint32_t val) } #if defined(DEBUG) - printf("gpe write %lx <== %d\n", addr, val); + printf("gpe write %x <== %d\n", addr, val); #endif } @@ -671,7 +671,7 @@ static uint32_t pcihotplug_read(void *opaque, uint32_t addr) } #if defined(DEBUG) - printf("pcihotplug read %lx == %lx\n", addr, val); + printf("pcihotplug read %x == %x\n", addr, val); #endif return val; } @@ -689,14 +689,14 @@ static void pcihotplug_write(void *opaque, uint32_t addr, uint32_t val) } #if defined(DEBUG) - printf("pcihotplug write %lx <== %d\n", addr, val); + printf("pcihotplug write %x <== %d\n", addr, val); #endif } static uint32_t pciej_read(void *opaque, uint32_t addr) { #if defined(DEBUG) - printf("pciej read %lx == %lx\n", addr, val); + printf("pciej read %x\n", addr); #endif return 0; } @@ -710,7 +710,7 @@ static void pciej_write(void *opaque, uint32_t addr, uint32_t val) #endif #if defined(DEBUG) - printf("pciej write %lx <== %d\n", addr, val); + printf("pciej write %x <== %d\n", addr, val); #endif } |