_kern_set_scheduler_mode
extern status_t _kern_set_scheduler_mode(int32 mode);
return _kern_set_scheduler_mode(mode);