cpuidle_coupled_poke_others
cpuidle_coupled_poke_others(dev->cpu, coupled);
cpuidle_coupled_poke_others(cpu, coupled);