update

[l4.git] / kernel / fiasco / src / kern / dirq_io_apic.cpp

diff --git a/kernel/fiasco/src/kern/dirq_io_apic.cpp b/kernel/fiasco/src/kern/dirq_io_apic.cpp
index 5b15a427b079b6deda44d47e30abc3982abf9b6c..f5108362c639acfc137321f14561047c54440452 100644 (file)
--- a/kernel/fiasco/src/kern/dirq_io_apic.cpp
+++ b/kernel/fiasco/src/kern/dirq_io_apic.cpp
@@ -146,6 +146,7 @@ Pin_io_apic_level::do_mask()
 {
   assert (cpu_lock.test());
   Io_apic::mask(irq());
+  Io_apic::sync();
 }
 
 
@@ -165,6 +166,7 @@ Pin_io_apic_level::do_mask_and_ack()
   assert (cpu_lock.test());
   __mask();
   Io_apic::mask(irq());
+  Io_apic::sync();
   Apic::irq_ack();
 }