linux_sys_sched_getscheduler  724 compat/linux/linux_syscallargs.h int	linux_sys_sched_getscheduler(struct proc *, void *, register_t *);
linux_sys_sched_getscheduler  364 compat/linux/linux_sysent.c 	    linux_sys_sched_getscheduler },	/* 157 = sched_getscheduler */