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 6370be8ae03931b182318d5e4972fb2fc34e5542..7fb89c0ad823b43ff7574e9d0f92d3a2d7277a2e 100644 (file)
--- a/kernel/fiasco/src/kern/dirq_io_apic.cpp
+++ b/kernel/fiasco/src/kern/dirq_io_apic.cpp
@@ -149,8 +149,7 @@ Pin_io_apic_level::disable()
 {
   extern char entry_int_apic_ignore[];
   unsigned vector = Dirq_pic_pin::Chip::vector(gsi());
-  Dirq_pic_pin::Chip::vfree(Irq_base::self(this), vector);
-  Idt::set_entry(vector, Address(&entry_int_apic_ignore), false);
+  Dirq_pic_pin::Chip::vfree(Irq_base::self(this), vector, &entry_int_apic_ignore);
 }
 
 PUBLIC void