Searched defs:serviced (Results 1 – 8 of 8) sorted by relevance
195 uint_t serviced = DDI_INTR_UNCLAIMED; in nxge_intr() local400 uint_t serviced = DDI_INTR_UNCLAIMED; in nxge_syserr_intr() local
1138 uint_t serviced = DDI_INTR_UNCLAIMED; in nxge_tx_intr() local
163 int serviced; in vatpic_get_highest_irrpin() local
1449 int serviced = 0; in system_high_handler() local
816 uint_t serviced = DDI_INTR_UNCLAIMED; in hxge_tx_intr() local
3543 int serviced; in dcdrunout() local
2753 uint32_t serviced = DDI_INTR_UNCLAIMED; in eri_intr() local
3058 uint32_t serviced = DDI_INTR_UNCLAIMED; in hmeintr() local