sched_destroy_user  309 kernel/user.c  	sched_destroy_user(up);
sched_destroy_user  347 kernel/user.c  	sched_destroy_user(up);
sched_destroy_user  443 kernel/user.c  	sched_destroy_user(new);