Stefan Kalkowski 2f727fb5c6 hw: rename Cpu_scheduler variables
Give certain scheduler class wide variables and functions clear names:

* quota => super_period_length
* residual => super_period_left

Ref genodelabs/genode#5115
2024-02-26 08:59:10 +01:00
..
2024-02-26 08:31:05 +01:00
2023-12-13 12:33:05 +01:00
2024-02-26 08:59:10 +01:00