From 3382d425bccc760005b2bfb1da2808b5672577e0 Mon Sep 17 00:00:00 2001 From: Alex Williamson Date: Wed, 14 May 2008 10:38:46 -0600 Subject: 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 52f50a0814..e334b370d5 100644 --- a/hw/acpi.c +++ b/hw/acpi.c @@ -604,7 +604,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; } @@ -646,7 +646,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 } @@ -666,7 +666,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; } @@ -684,14 +684,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; } @@ -705,7 +705,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 } -- cgit v1.2.1