Lines Matching refs:an
18 * this file and link it with other files to produce an executable, this
37 * Interface for sending an unmask message to an object.
39 * The object is usually an ICU or an IRQ.
41 * When the kernel receives an IRQ, it masks the interrupt line at the interrupt
52 * Unmask the given interrupt line. When the object is an IRQ, the given
56 * Its counterpart for explicitly masking an interrupt line is
60 * the object is an IRQ.
62 * NULL then this operation enters an open wait
74 * use l4_error(), because l4_error() will always return an error.
85 * Interface that allows an object to be triggered by some source. The interface
104 * because l4_error() will always return an error.
129 * For the C interface refer to the \ref l4_irq_api API for an overview.
186 * will always return an error.
188 * Irq::wait() and Irq::receive() operations already include an unmask(), do
189 * not use an extra unmask() in these cases.
208 * when an IRQ is delivered and shall be unmasked when all attached slave
214 * Attach an IRQ to this multiplexer.
222 * chaining IRQs there must be an IRQ multiplexer (Irq_mux) bound to
241 * To setup an interrupt line the following steps are required:
275 * This class encapsulates information about an ICU.
285 * Bind an interrupt line of an interrupt controller to an interrupt object.
294 * Return values `< 0` indicate an error. A return value of `0` means
309 * Remove binding of an interrupt line from the interrupt controller object.
364 * Mask an IRQ line.
368 * not NULL this function will enter an open wait after sending