mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 20:00:23 +00:00
281d3ffba9
The ~Irq_session_component relied on the IRQ number obtained by the corresponding kernel IRQ object to mark the IRQ as free at the IRQ allocator. However, since the kernel IRQ object is initialized not before the 'sigh' function is called, the IRQ of sessions that never called 'sigh' could not be freed correctly. This patch fixes the problem by not relying on the kernel IRQ object for obtaining the number in the destructor but using the '_irq_number' member variable instead.