X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fapic.c;h=d88852d21008ea6a355b8af7a391905d6ba6889c;hp=62fbb4d6a49b4e449afdcc3f059523e2f30a2a52;hb=f7e83e5d2d00ba107ccda346da4660ab523471bb;hpb=d61e28b50d54153a18efa5697a2aecc2e52098bc

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 62fbb4d..d88852d 100644
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -1433,7 +1433,6 @@ static int apic_write(struct guest_info * core, addr_t guest_addr, void * src, u
 	case INT_CMD_HI_OFFSET: {
 	    apic->int_cmd.hi = op_val;
 	    //V3_Print("apic %u: core %u: writing command high=0x%x\n", apic->lapic_id.val, core->vcpu_id,apic->int_cmd.hi);
-
 	    break;
 	}
 	// Unhandled Registers