kernel stuff
linux sched.h header