ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-16 07:27:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup "hw: sanitize scheduler, cpu, and timer interplay" (scheduler unit test)

Browse Source
This commit is contained in:
Stefan Kalkowski 2025-04-14 11:19:44 +02:00
parent f357c4923a
commit 9c3c1c6fe3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/base-hw/src/test/cpu_scheduler/kernel/timer.h
View File

@ -39,10 +39,10 @@ struct Kernel::Timer
time_t schedule_timeout() { return 0; } /* dummy unneeded */
void set_timeout(Timeout * const timeout, time_t const duration)
void set_timeout(Timeout &timeout, time_t const duration)
{
_next_timeout = _time + duration;
_timeout = timeout;
_timeout = &timeout;
}
void add_time(time_t const duration)