X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=13ead3c4288e2962c329ee7b71ee57ed332de216;hp=a26f2314b2e7798186baf74eb74222e6cf1d2f80;hb=f01ef51a3da4c56e7e9019714d489cad2fa52d46;hpb=074d44443cd1dc65660b2859503ad9f72bce625a

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index a26f231..13ead3c 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -288,8 +288,6 @@ static int get_highest_isr(struct apic_state * apic) {
 	    for (j = 7; j >= 0; j--) {
 		uchar_t flag = 0x1 << j;
 		if ((*svc_major) & flag) {
-
-
 		    return ((i * 8) + j);
 		}
 	    }
@@ -312,8 +310,6 @@ static int get_highest_irr(struct apic_state * apic) {
 	    for (j = 7; j >= 0; j--) {
 		uchar_t flag = 0x1 << j;
 		if ((*req_major) & flag) {
-
-
 		    return ((i * 8) + j);
 		}
 	    }