|
@@ -720,8 +720,6 @@ static int hrtimer_switch_to_hres(void)
|
|
/* "Retrigger" the interrupt to get things going */
|
|
/* "Retrigger" the interrupt to get things going */
|
|
retrigger_next_event(NULL);
|
|
retrigger_next_event(NULL);
|
|
local_irq_restore(flags);
|
|
local_irq_restore(flags);
|
|
- printk(KERN_DEBUG "Switched to high resolution mode on CPU %d\n",
|
|
|
|
- smp_processor_id());
|
|
|
|
return 1;
|
|
return 1;
|
|
}
|
|
}
|
|
|
|
|