Enthält die Klasse Guarded_Scheduler. Mehr ...
#include "syscall/thread.h"
#include "thread/scheduler.h"
Enthält die Klasse Guarded_Scheduler.