reworked PCI bus implmentation -- moved to mask based implementation -- added capabil...

[palacios.git] / palacios / src / devices / apic.c

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 4823cb6..44ca08d 100644 (file)
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -472,7 +472,6 @@ static int add_apic_irq_entry(struct apic_state * apic, uint32_t irq_num,
 
 static void drain_irq_entries(struct apic_state * apic) {
 
-
     while (1) {
        unsigned int flags = 0;
        struct irq_queue_entry * entry = NULL;