x86: bus_irq_enable()
[akaros.git] / kern / arch / x86 / ioapic.h
index 80bad71..4fb84a5 100644 (file)
@@ -9,6 +9,7 @@
 
 #ifndef ROS_KERN_IOAPIC_H
 #define ROS_KERN_IOAPIC_H
+
 #include <atomic.h>
 #include <arch/apic.h>