From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Tue, 5 Oct 2010 22:36:12 +0000 (-0500)
Subject: this will probably be a disaster...
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=5bb5bb2b3113a92410bc3b2d30bc48d0f4e0bb55;p=palacios.git

this will probably be a disaster...
---

diff --git a/palacios/src/devices/icc_bus.c b/palacios/src/devices/icc_bus.c
index 9b42e81..cfe3c05 100644
--- a/palacios/src/devices/icc_bus.c
+++ b/palacios/src/devices/icc_bus.c
@@ -351,7 +351,7 @@ int v3_icc_send_ipi(struct vm_device * icc_bus, uint32_t src_apic, uint64_t icr_
 	    
 	case 2: 
 
-	case 3:  // all and all-but-me
+	case 3: { // all and all-but-me
 	    if (icr->dst_mode==0) { 
 		// physical
 		int i;
@@ -372,10 +372,10 @@ int v3_icc_send_ipi(struct vm_device * icc_bus, uint32_t src_apic, uint64_t icr_
 	    }
 	    break;
 	}
-
 	default:
 	    return -1;
     }
+    
 
     return 0;
 }