*
* Hairy, the userspace application uses a different argument passing
* convention than the kernel, so we have to translate things from o32
*
* Hairy, the userspace application uses a different argument passing
* convention than the kernel, so we have to translate things from o32
PTR sys_sched_getscheduler
PTR sys_sched_yield
PTR sys_sched_get_priority_max
PTR sys_sched_get_priority_min
PTR sys_sched_getscheduler
PTR sys_sched_yield
PTR sys_sched_get_priority_max
PTR sys_sched_get_priority_min