scheduler_defs.h revision e032a7f50edd28714fecb2110dd0e52c5bf9b367
1