register_int
return(register_int(intr, handler, arg, name, serializer, 0, cpuid));
return(register_int(intr, handler, arg, name, serializer,
return register_int(intr, handler, arg, name, serializer, intr_flags, 0);
sci_desc = register_int(acpi_sci_irq,
clkdesc = register_int(irq, clkintr, NULL, "clk",
register_int(0, clkintr, NULL, "clk", NULL,
*cookiep = register_int(irq->r_start, (inthand2_t *)ihand, arg,
void *register_int(int intr, inthand2_t *handler, void *arg,