apic_write(APIC_TMICT, clocks);
 }
 
-static void setup_APIC_timer(unsigned int clocks)
+static void setup_APIC_timer(void)
 {
        unsigned long flags;
        int irqen;
 
        irqen = ! cpu_isset(smp_processor_id(),
                            timer_interrupt_broadcast_ipi_mask);
-       __setup_APIC_LVTT(clocks, 0, irqen);
+       __setup_APIC_LVTT(calibration_result, 0, irqen);
        /* Turn off PIT interrupt if we use APIC timer as main timer.
           Only works with the PM timer right now
           TBD fix it for HPET too. */
        /*
         * Now set up the timer for real.
         */
-       setup_APIC_timer(calibration_result);
+       setup_APIC_timer();
 
        local_irq_enable();
 }
 void __cpuinit setup_secondary_APIC_clock(void)
 {
        local_irq_disable(); /* FIXME: Do we need this? --RR */
-       setup_APIC_timer(calibration_result);
+       setup_APIC_timer();
        local_irq_enable();
 }