Searched refs:work_budget (Results 1 – 1 of 1) sorted by relevance
775 int work_budget = max_interrupt_work; in el3_interrupt() local798 work_budget = el3_rx(dev, work_budget); in el3_interrupt()815 work_budget = el3_rx(dev, work_budget); in el3_interrupt()840 if (--work_budget < 0) { in el3_interrupt()