Searched refs:work_budget (Results 1 – 1 of 1) sorted by relevance
772 int work_budget = max_interrupt_work; in el3_interrupt() local795 work_budget = el3_rx(dev, work_budget); in el3_interrupt()812 work_budget = el3_rx(dev, work_budget); in el3_interrupt()837 if (--work_budget < 0) { in el3_interrupt()
