/* syscall: "netbsd32__sched_protect" ret: "int" args: "int" */