smp_smurf_idleinvlclr
void smp_smurf_idleinvlclr(cpumask_t *mask);
smp_smurf_idleinvlclr(&mask);
smp_smurf_idleinvlclr(&tmpmask);