Symbol: mm_destroy_sched
kernel/fork.c
1149
mm_destroy_sched(mm);
kernel/fork.c
732
mm_destroy_sched(mm);