i8042_build_interrupts_property
static int i8042_build_interrupts_property(dev_info_t *dip);
if (i8042_build_interrupts_property(dip) == DDI_FAILURE ||