i_ddi_intr_get_current_navail
if ((*navailp = i_ddi_intr_get_current_navail(dip, type)) == 0)
navail = i_ddi_intr_get_current_navail(dip, type);
uint_t i_ddi_intr_get_current_navail(dev_info_t *dip, int intr_type);