/* Setup the local APIC timer for this CPU. Copy the initilized values of the boot CPU and register the clock event in the framework.  */
static void __cpuinit setup_APIC_timer(void)
/* Setup the local APIC timer for this CPU. Copy the initilized values of the boot CPU and register the clock event in the framework.  */
static void __cpuinit setup_APIC_timer(void)
{
	struct clock_event_device *levt = &__get_cpu_var(lapic_events);
	if (cpu_has(&current_cpu_data, X86_FEATURE_ARAT)) {
		lapic_clockevent.features &= ~CLOCK_EVT_FEAT_C3STOP;
		lapic_clockevent.rating = 150;
	}
	memcpy(levt, &lapic_clockevent, sizeof(*levt));
	levt->cpumask = cpumask_of(smp_processor_id());
	clockevents_register_device(levt);
}