put_idle_cores() takes a proc * and locking strat