__sched_fork     2379 kernel/sched.c 	__sched_fork(p);
__sched_fork     5859 kernel/sched.c 	__sched_fork(idle);