update

[l4.git] / kernel / fiasco / src / kern / ia32 / irq_msi.cpp

diff --git a/kernel/fiasco/src/kern/ia32/irq_msi.cpp b/kernel/fiasco/src/kern/ia32/irq_msi.cpp
index d2cd3209d94621af4626dddd695e3651ad95ce4a..1eab3717104d34287f0289b897de5436631d7d85 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/irq_msi.cpp
+++ b/kernel/fiasco/src/kern/ia32/irq_msi.cpp
@@ -84,7 +84,8 @@ PUBLIC
 bool
 Irq_chip_msi::free(Irq_base *irq, unsigned irqnum)
 {
-  return vfree(irq, irqnum + Irq_pin_msi::Vector_offs);
+  extern char entry_int_apic_ignore[];
+  return vfree(irq, irqnum + Irq_pin_msi::Vector_offs, &entry_int_apic_ignore);
 }