/* Caller must have changed pm_idle to the new value before the call. Old pm_idle value will not be used by any CPU after the return of this function.  */
void cpu_idle_wait(void)
/* Caller must have changed pm_idle to the new value before the call. Old pm_idle value will not be used by any CPU after the return of this function.  */
void cpu_idle_wait(void)
{
	smp_mb();
	smp_call_function(do_nothing, NULL, 1);
}