Stefan Kalkowski 776c2a6046 hw: avoid state & code duplication in scheduler
The `_head_was_removed` variable got introduced in solving #4710, but it
reflects only whether `_head` is a valid pointer or not, thereby it
duplicates state.

Ref genodelabs/genode#5115
2024-02-26 08:59:09 +01:00
..
2024-02-26 08:31:05 +01:00
2024-02-26 08:59:07 +01:00
2023-03-13 14:32:37 +01:00
2023-03-13 14:32:37 +01:00
2023-03-13 14:32:37 +01:00
2023-03-13 14:32:37 +01:00
2023-03-13 14:32:37 +01:00
2023-06-16 11:24:26 +02:00