IRQ session interface

An open IRQ session represents a valid IRQ attachment/association. Initially, the interrupt is masked and will only occur if enabled. This is done by calling wait_for_irq(). When the interrupt is delivered to the client, it was acknowledged and masked at the interrupt controller before.

Disassociation from an IRQ is done by closing the session.

Class Genode::Irq_session

Public functions

service_name

Return

char *

wait_for_irq

Wait for interrupt occurence