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