sched_ns          214 kernel/posix-cpu-timers.c 		cpu->sched = sched_ns(p);
sched_ns          253 kernel/posix-cpu-timers.c 		cpu->sched += sched_ns(p);