X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Ficc_bus.c;h=7f71956b7670e701386aa4a0b8856a4ab378bbac;hb=ffbf24d4dcf75a7a90405d72767187f29f624317;hp=be94618e97f8b53ea99835f56d2d0bb4694fcd32;hpb=fb07d68f106299921c46eaa5e609187cafad9919;p=palacios-OLD.git

diff --git a/palacios/src/devices/icc_bus.c b/palacios/src/devices/icc_bus.c
index be94618..7f71956 100644
--- a/palacios/src/devices/icc_bus.c
+++ b/palacios/src/devices/icc_bus.c
@@ -33,7 +33,9 @@
 
 
 void v3_force_exit(void *p) {
+#ifdef CONFIG_DEBUG_ICC_BUS
     struct guest_info *core=(struct guest_info *)p;
+#endif
     PrintDebug("core %u: Forced to exit!\n",core->cpu_id);
 }
 
@@ -66,7 +68,7 @@ static struct v3_device_ops dev_ops = {
     .stop = NULL,
 };
 
-
+#ifdef CONFIG_DEBUG_ICC_BUS
 static char *shorthand_str[] = { 
     "(no shorthand)",
     "(self)",
@@ -84,7 +86,7 @@ static char *deliverymode_str[] = {
     "(Start Up)",
     "(reserved)",
 };
-
+#endif
 
 
 static int deliver(uint32_t src_apic, struct apic_data *dest_apic, struct int_cmd_reg *icr, struct icc_bus_state * state) {