Corretta definizione in include/linux/sched.h