SCHED_CPUMASK_FREE 7666 kernel/sched.c 	SCHED_CPUMASK_FREE((void *)allmasks);
SCHED_CPUMASK_FREE 7672 kernel/sched.c 	SCHED_CPUMASK_FREE((void *)allmasks);