static __cpuidle int intel_idle()

in intel_idle.c [129:142]


static __cpuidle int intel_idle(struct cpuidle_device *dev,
				struct cpuidle_driver *drv, int index)
{
	struct cpuidle_state *state = &drv->states[index];
	unsigned long eax = flg2MWAIT(state->flags);
	unsigned long ecx = 1; /* break on interrupt flag */

	if (state->flags & CPUIDLE_FLAG_IRQ_ENABLE)
		local_irq_enable();

	mwait_idle_with_hints(eax, ecx);

	return index;
}