#include "thread/idlethread.h"
#include "syscall/guarded_scheduler.h"
#include "machine/core.h"
#include "device/watch.h"
#include "debug/output.h"

Include dependency graph for idlethread.cc: