From: Patrick Bridges <pgbridg@s912931.sandia.gov>
Date: Thu, 29 Jul 2010 16:13:18 +0000 (-0600)
Subject: Minor changes to make icc_bus.c compile without debugging on
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=ffbf24d4dcf75a7a90405d72767187f29f624317;hp=fb07d68f106299921c46eaa5e609187cafad9919;p=palacios-OLD.git

Minor changes to make icc_bus.c compile without debugging on
---

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) {