Searched refs:work_budget (Results 1 – 2 of 2) sorted by relevance
939 int work_budget = max_interrupt_work; in el3_interrupt() local957 work_budget = el3_rx(dev, work_budget); in el3_interrupt()974 work_budget = el3_rx(dev, work_budget); in el3_interrupt()999 if (--work_budget < 0) { in el3_interrupt()
1070 int csr5, work_budget = max_interrupt_work; in xircom_interrupt() local1090 work_budget -= xircom_rx(dev); in xircom_interrupt()1181 if (--work_budget < 0) { in xircom_interrupt()