powerpc_setup_intr_int
static int powerpc_setup_intr_int(const char *name, u_int irq, driver_filter_t
error = powerpc_setup_intr_int("IPI",
return (powerpc_setup_intr_int(name, irq, filter, handler, arg, flags,