i8042_intr
static unsigned int i8042_intr(caddr_t arg);
i8042_intr, (caddr_t)global) != DDI_SUCCESS)
interval = (i8042_intr((caddr_t)i8042_p) == DDI_INTR_CLAIMED) ?