diff --git a/repos/base-hw/src/core/include/spec/x86/pic.h b/repos/base-hw/src/core/include/spec/x86/pic.h index b5ddc71db7..7550766652 100644 --- a/repos/base-hw/src/core/include/spec/x86/pic.h +++ b/repos/base-hw/src/core/include/spec/x86/pic.h @@ -112,7 +112,7 @@ class Genode::Ioapic : public Mmio * flag and edge-triggered interrupts or: * http://yarchive.net/comp/linux/edge_triggered_interrupts.html */ - if (_edge_triggered(vector)) { return; } + if (_edge_triggered(vector) && set) { return; } write(IOREDTBL + (2 * (vector - REMAP_BASE))); Irte::access_t irte = read();