intr_irq_filter_t
typedef int intr_irq_filter_t(void *arg, struct trapframe *tf);
typedef int intr_irq_filter_t(void *arg);