schedctl_init
schedctl_t *schedctl_init(void);
extern void schedctl_init(void);
schedctl_init,
void schedctl_init(void);