From f654d9e20a9fb1971c6c8fe07c3b9164e9d22926 Mon Sep 17 00:00:00 2001 From: Alex Williamson Date: Wed, 14 May 2008 10:38:46 -0600 Subject: [PATCH] Fix hw/acpi.c build w/ DEBUG enabled Trivial build warning/fixes when the local DEBUG define is enabled. Signed-off-by: Alex Williamson Signed-off-by: Avi Kivity Signed-off-by: Anthony Liguori --- hw/acpi.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/hw/acpi.c b/hw/acpi.c index 53c1fec..7e91405 100644 --- a/hw/acpi.c +++ b/hw/acpi.c @@ -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 } -- 1.7.9.5