_kern_get_scheduler_mode
extern int32 _kern_get_scheduler_mode(void);
return _kern_get_scheduler_mode();