From 6b80bf164ce99c10aabe1762d20265a11d5d66d4 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 --- hw/acpi.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/hw/acpi.c b/hw/acpi.c index c4419c4026..c305702d48 100644 --- a/hw/acpi.c +++ b/hw/acpi.c @@ -586,7 +586,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; } @@ -619,7 +619,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 } @@ -639,7 +639,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; } @@ -657,14 +657,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; } @@ -676,7 +676,7 @@ static void pciej_write(void *opaque, uint32_t addr, uint32_t val) device_hot_remove_success(0, slot); #if defined(DEBUG) - printf("pciej write %lx <== %d\n", addr, val); + printf("pciej write %x <== %d\n", addr, val); #endif } -- 2.11.4.GIT