5 Kernel_irq_pin::unbind()
7 int err = l4_error(system_icu()->icu->unbind(_idx, irq()));
13 Kernel_irq_pin::bind(L4::Cap<L4::Irq> irq, unsigned mode)
15 int err = l4_error(system_icu()->icu->bind(_idx, irq));
17 // allow sharing if IRQ must be acknowledged via the IRQ object
24 // printf(" IRQ[%x]: mode=%x ... ", n, mode);
25 err = l4_error(system_icu()->icu->set_mode(_idx, mode));
26 // printf("result=%d\n", err);
32 Kernel_irq_pin::unmask()
34 system_icu()->icu->unmask(_idx);