interrupt_get_available
__weak_alias(interrupt_get_available, voidop);
interrupt_get_available(cpuset);
interrupt_get_available(avail);
void interrupt_get_available(kcpuset_t *);