/* NOTE: it's important to be fast here because this operation will add to the overall exit latency.  */
static void menu_reflect(struct cpuidle_device *dev)
/* NOTE: it's important to be fast here because this operation will add to the overall exit latency.  */
static void menu_reflect(struct cpuidle_device *dev)
{
	struct menu_device *data = &__get_cpu_var(menu_devices);
	data->needs_update = 1;
}