x86: sends the EOI later in the IRQ path
[akaros.git] / kern / src / sysevent.c
index f67e3ce..a6ce6fb 100644 (file)
@@ -4,4 +4,7 @@
  * 
  * Kevin Klues <klueska@cs.berkeley.edu>    
  */
+
+#ifdef __SHARC__
+#pragma nosharc
+#endif