Stefan Kalkowski c8380c1447 hw: remove Cpu_scheduler::_trim_consumption ...

This private, internal function is used only in one scope,
and therefore not neccessary. But it has nasty side-effects as
it takes the parameter `duration` as reference and changes its
value. Just remove it completely.

Ref genodelabs/genode#5115

2024-02-26 08:59:10 +01:00

..

board

Remove i.MX6 platforms from base repositories

2023-07-14 12:06:31 +02:00

etc

base: remove SPEC variables of boards (fix #3971)

2021-01-25 13:58:09 +01:00

include

hw: rename Vm_data to Vcpu_data

2024-02-26 08:31:05 +01:00

lib/mk

Finally move __dso_handle into genode.ld

2023-07-14 12:06:32 +02:00

recipes

depot: update recipe hashes

2023-12-13 12:33:05 +01:00

run

hw: replace double_list implementation

2024-02-26 08:59:09 +01:00

src

hw: remove Cpu_scheduler::_trim_consumption

2024-02-26 08:59:10 +01:00