scale_irq_capacity
return scale_irq_capacity(free, irq, max);
util = scale_irq_capacity(util, irq, scale);
busy_time = scale_irq_capacity(task_util_est(p), irq, max_cap);