Status arena_bind_irq(ArenaID arena, Cap arenacap, int irq, Cap irqcap);
arena The arena being registered as having interest in irq irq.
arenacap The management capability associated with arena.
irq The irq being associated with arena arena.
irqcap The capability associated with irq.
After calling this function, arena arena will be notified of irq events associated with irq irq.
Upon the successful completion, the arena_bind_irq() function returns [SUCCESS].
If the arena_bind_irq() function fails, a Status is returned that corresponds to one of the following values:
[ARENA_CAP_ INVALID] The capability specified by arenacap is invalid.
[IRQ_CAP_ INVALID] The capability specified by irqcap is invalid.
[IRQ_BOUND] occurs if the irq is already bound.
[NO_SUCH_ARENA] occurs if the arena specified does not exist.
[IRQ_INVALID] occurs if the irq specified does not exist.