5 #include "xlat/schedulers.h"
8 sys_sched_getscheduler(struct tcb *tcp)
11 tprintf("%d", (int) tcp->u_arg[0]);
12 } else if (!syserror(tcp)) {
13 tcp->auxstr = xlookup(schedulers, tcp->u_rval);
14 if (tcp->auxstr != NULL)
21 sys_sched_setscheduler(struct tcb *tcp)
25 tprintf("%d, ", (int) tcp->u_arg[0]);
26 printxval(schedulers, tcp->u_arg[1], "SCHED_???");
27 if (umove(tcp, tcp->u_arg[2], &p) < 0)
28 tprintf(", %#lx", tcp->u_arg[2]);
30 tprintf(", { %d }", p.sched_priority);
36 sys_sched_getparam(struct tcb *tcp)
39 tprintf("%d, ", (int) tcp->u_arg[0]);
42 if (umove(tcp, tcp->u_arg[1], &p) < 0)
43 tprintf("%#lx", tcp->u_arg[1]);
45 tprintf("{ %d }", p.sched_priority);
51 sys_sched_setparam(struct tcb *tcp)
55 if (umove(tcp, tcp->u_arg[1], &p) < 0)
56 tprintf("%d, %#lx", (int) tcp->u_arg[0], tcp->u_arg[1]);
58 tprintf("%d, { %d }", (int) tcp->u_arg[0], p.sched_priority);
64 sys_sched_get_priority_min(struct tcb *tcp)
67 printxval(schedulers, tcp->u_arg[0], "SCHED_???");
73 sys_sched_rr_get_interval(struct tcb *tcp)
76 tprintf("%ld, ", (long) (pid_t) tcp->u_arg[0]);
79 tprintf("%#lx", tcp->u_arg[1]);
81 print_timespec(tcp, tcp->u_arg[1]);