X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=92e66833fe70e71ebaed4ee681b116605fc5e9fc;hp=407d3af4a15407cdd54ea372a1a29162aa32562e;hb=ee177da9b30ebf340c63fb5b9d535c729f90134d;hpb=4b8b4ad83c037fa685a3bb8f3a681cf0b617ae9c

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 407d3af..92e6683 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -290,8 +290,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);
 		}
 	    }
@@ -314,8 +312,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);
 		}
 	    }