X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=d27cd128e84c2673be8b1891ccf6a10516ec7b52;hb=7d04da01ea9d82e0bd1f38cd5eb07367f033a087;hp=407d3af4a15407cdd54ea372a1a29162aa32562e;hpb=0e6a3e3539a88b57bf06dea3864cd6fe5078643d;p=palacios.git diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c index 407d3af..d27cd12 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); } } @@ -435,7 +431,6 @@ static int apic_read(addr_t guest_addr, void * dst, uint_t length, void * priv_d } - /* Because "May not be supported" doesn't matter to Linux developers... */ /* if (length != 4) { */ /* PrintError("Invalid apic read length (%d)\n", length); */ /* return -1; */ @@ -443,8 +438,6 @@ static int apic_read(addr_t guest_addr, void * dst, uint_t length, void * priv_d switch (reg_addr & ~0x3) { case EOI_OFFSET: - // Well, only an idiot would read from a architectural write only register - // Oh, Hello Linux. // PrintError("Attempting to read from write only register\n"); // return -1; break;