|  | /* Copyright (c) 2009 The Regents of the University of California | 
|  | * David (Yu) Zhu <yuzhu@cs.berkeley.edu> | 
|  | * Barret Rhoden <brho@cs.berkeley.edu> | 
|  | * | 
|  | * See LICENSE for details. */ | 
|  |  | 
|  | #include <arch/x86.h> | 
|  | #include <arch/arch.h> | 
|  | #include <arch/pic.h> | 
|  | #include <arch/apic.h> | 
|  | #include <time.h> | 
|  | #include <trap.h> | 
|  | #include <assert.h> | 
|  | #include <stdio.h> | 
|  |  | 
|  | system_timing_t system_timing = {0, 0, 0xffff, 0}; | 
|  |  | 
|  | // timer init calibrates both tsc timer and lapic timer using PIT | 
|  | void timer_init(void){ | 
|  | /* some boards have this unmasked early on. */ | 
|  | pic_mask_irq(0, 0 + PIC1_OFFSET); | 
|  | uint64_t tscval[2]; | 
|  | long timercount[2]; | 
|  | pit_set_timer(0xffff, TIMER_RATEGEN); | 
|  | // assume tsc exist | 
|  | tscval[0] = read_tsc(); | 
|  | udelay_pit(1000000); | 
|  | tscval[1] = read_tsc(); | 
|  | system_timing.tsc_freq = tscval[1] - tscval[0]; | 
|  | cprintf("TSC Frequency: %llu\n", system_timing.tsc_freq); | 
|  | __lapic_set_timer(0xffffffff, IdtLAPIC_TIMER, FALSE, | 
|  | LAPIC_TIMER_DIVISOR_BITS); | 
|  | // Mask the LAPIC Timer, so we never receive this interrupt (minor race) | 
|  | mask_lapic_lvt(LAPIC_LVT_TIMER); | 
|  | timercount[0] = read_mmreg32(LAPIC_TIMER_CURRENT); | 
|  | udelay_pit(1000000); | 
|  | timercount[1] = read_mmreg32(LAPIC_TIMER_CURRENT); | 
|  | system_timing.bus_freq = (timercount[0] - timercount[1]) | 
|  | * LAPIC_TIMER_DIVISOR_VAL; | 
|  | /* The time base for the timer is derived from the processor's bus clock, | 
|  | * divided by the value specified in the divide configuration register. | 
|  | * Note we mult and div by the divisor, saving the actual freq (even though | 
|  | * we don't use it yet). */ | 
|  | cprintf("Bus Frequency: %llu\n", system_timing.bus_freq); | 
|  | } | 
|  |  | 
|  | void pit_set_timer(uint32_t divisor, uint32_t mode) | 
|  | { | 
|  | if (divisor & 0xffff0000) | 
|  | warn("Divisor too large!"); | 
|  | mode = TIMER_SEL0|TIMER_16BIT|mode; | 
|  | outb(TIMER_MODE, mode); | 
|  | outb(TIMER_CNTR0, divisor & 0xff); | 
|  | outb(TIMER_CNTR0, (divisor >> 8) ); | 
|  | system_timing.pit_mode = mode; | 
|  | system_timing.pit_divisor = divisor; | 
|  | // cprintf("timer mode set to %d, divisor %d\n",mode, divisor); | 
|  | } | 
|  |  | 
|  | static int getpit() | 
|  | { | 
|  | int high, low; | 
|  | // TODO: need a lock to protect access to PIT | 
|  |  | 
|  | /* Select counter 0 and latch counter value. */ | 
|  | outb(TIMER_MODE, TIMER_SEL0 | TIMER_LATCH); | 
|  |  | 
|  | low = inb(TIMER_CNTR0); | 
|  | high = inb(TIMER_CNTR0); | 
|  |  | 
|  | return ((high << 8) | low); | 
|  | } | 
|  |  | 
|  | // forces cpu to relax for usec miliseconds.  declared in kern/include/time.h | 
|  | void udelay(uint64_t usec) | 
|  | { | 
|  | #if !defined(__BOCHS__) | 
|  | if (system_timing.tsc_freq != 0) | 
|  | { | 
|  | uint64_t start, end, now; | 
|  |  | 
|  | start = read_tsc(); | 
|  | end = start + usec2tsc(usec); | 
|  | //cprintf("start %llu, end %llu\n", start, end); | 
|  | if (end == 0) cprintf("This is terribly wrong \n"); | 
|  | do { | 
|  | cpu_relax(); | 
|  | now = read_tsc(); | 
|  | //cprintf("now %llu\n", now); | 
|  | } while (now < end || (now > start && end < start)); | 
|  | return; | 
|  |  | 
|  | } else | 
|  | #endif | 
|  | { | 
|  | udelay_pit(usec); | 
|  | } | 
|  | } | 
|  |  | 
|  | void udelay_pit(uint64_t usec) | 
|  | { | 
|  | int64_t delta, prev_tick, tick, ticks_left; | 
|  | prev_tick = getpit(); | 
|  | /* | 
|  | * Calculate (n * (i8254_freq / 1e6)) without using floating point | 
|  | * and without any avoidable overflows. | 
|  | */ | 
|  | if (usec <= 0) | 
|  | ticks_left = 0; | 
|  | // some optimization from bsd code | 
|  | else if (usec < 256) | 
|  | /* | 
|  | * Use fixed point to avoid a slow division by 1000000. | 
|  | * 39099 = 1193182 * 2^15 / 10^6 rounded to nearest. | 
|  | * 2^15 is the first power of 2 that gives exact results | 
|  | * for n between 0 and 256. | 
|  | */ | 
|  | ticks_left = ((uint64_t)usec * 39099 + (1 << 15) - 1) >> 15; | 
|  | else | 
|  | // round up the ticks left | 
|  | ticks_left = ((uint64_t)usec * (long long)PIT_FREQ+ 999999) | 
|  | / 1000000; | 
|  | while (ticks_left > 0) { | 
|  | tick = getpit(); | 
|  | delta = prev_tick - tick; | 
|  | prev_tick = tick; | 
|  | if (delta < 0) { | 
|  | // counter looped around during the delta time period | 
|  | delta += system_timing.pit_divisor; // maximum count | 
|  | if (delta < 0) | 
|  | delta = 0; | 
|  | } | 
|  | ticks_left -= delta; | 
|  | } | 
|  | } | 
|  |  | 
|  | uint64_t gettimer(void) | 
|  | { | 
|  | return read_tsc(); | 
|  | } | 
|  |  | 
|  | uint64_t getfreq(void) | 
|  | { | 
|  | return system_timing.tsc_freq; | 
|  | } | 
|  |  | 
|  | void set_core_timer(uint32_t usec, bool periodic) | 
|  | { | 
|  | if (usec) | 
|  | lapic_set_timer(usec, periodic); | 
|  | else | 
|  | lapic_disable_timer(); | 
|  | } |