minix3/kernel/do_schedctl.o