mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-24 19:24:25 +00:00
parent
61d798c629
commit
b7cdb5840a
@ -18,7 +18,6 @@
|
|||||||
|
|
||||||
/* Genode includes */
|
/* Genode includes */
|
||||||
#include <base/env.h>
|
#include <base/env.h>
|
||||||
#include <base/lock.h>
|
|
||||||
#include <base/sleep.h>
|
#include <base/sleep.h>
|
||||||
|
|
||||||
/* local includes */
|
/* local includes */
|
||||||
@ -140,7 +139,6 @@ class Bsd::Scheduler
|
|||||||
private:
|
private:
|
||||||
|
|
||||||
Bsd::List<Bsd::Task> _present_list;
|
Bsd::List<Bsd::Task> _present_list;
|
||||||
Genode::Lock _present_list_mutex;
|
|
||||||
|
|
||||||
Task *_current = nullptr; /* currently scheduled task */
|
Task *_current = nullptr; /* currently scheduled task */
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user