Searched refs:work_budget (Results 1 – 1 of 1) sorted by relevance
771 int work_budget = max_interrupt_work; in el3_interrupt() local794 work_budget = el3_rx(dev, work_budget); in el3_interrupt()811 work_budget = el3_rx(dev, work_budget); in el3_interrupt()836 if (--work_budget < 0) { in el3_interrupt()