interrupt_distribute_handler
interrupt_distribute_handler(const char *intrid, const kcpuset_t *newset,
interrupt_distribute_handler(const char *intrid, const kcpuset_t *newset,
interrupt_distribute_handler(const char *intrid, const kcpuset_t *newset,
interrupt_distribute_handler(const char *intrid, const kcpuset_t *newset,