Searched defs:margin (Results 1 – 1 of 1) sorted by relevance
5869 int margin; in select_energy_cpu_idx() local6092 long long margin = 0; in schedtune_margin() local6131 long margin; in schedtune_task_margin() local6162 long margin = schedtune_cpu_margin(util, cpu); in boosted_cpu_util() local6173 long margin = schedtune_task_margin(p); in boosted_task_util() local