Status arena_unbind_irq(ArenaID arena, Cap arenacap, int irq, Cap irqcap);
arena The arena being unregistered as having interest in irq irq.
arenacap The management capability associated with arena.
irq The irq being disassociated with arena arena.
irqcap The capability associated with irq.
After calling this function, arena arena will no longer be notified of irq events associated with irq irq.
Upon the successful completion, the arena_unbind_irq() function returns [SUCCESS].
If the arena_unbind_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_NOT_OWNER] occurs if the arena is not associated with the irq.
[NO_SUCH_ARENA] occurs if the arena specified does not exist.
[IRQ_INVALID] occurs if the irq specified does not exist.