restore_cpu
restore_cpu(oldcpu, is_bound, td);
restore_cpu(oldcpu, is_bound, td);
restore_cpu(oldcpu, is_bound, td);
restore_cpu(oldcpu, is_bound, td);
restore_cpu(oldcpu, is_bound, td);