Ejemplo n.º 1
0
static void timer_configure(void)
{
    uint64_t hz = 32000;
    clock_decrementer = (hz / 700UL);     // For 500Hz.
    
    gPEClockFrequencyInfo.timebase_frequency_hz = hz;
    
    kprintf(KPRINTF_PREFIX "decrementer frequency = %llu\n", clock_decrementer);
    
    rtc_configure(hz);
}
Ejemplo n.º 2
0
static void timer_configure(void)
{
    uint64_t hz = 1000000;      // Proper default rate.
    clock_decrementer = 5000;   // 5kHz decrementer.

    gPEClockFrequencyInfo.timebase_frequency_hz = hz;

    kprintf(KPRINTF_PREFIX "decrementer frequency = %llu\n", clock_decrementer);

    rtc_configure(hz);
}
Ejemplo n.º 3
0
static void timer_configure(void)
{
    /*
     * DUMMY 
     */
    uint64_t hz = 12000000;
    gPEClockFrequencyInfo.timebase_frequency_hz = hz;

    clock_decrementer = 5000;
    kprintf(KPRINTF_PREFIX "decrementer frequency = %llu\n", clock_decrementer);

    rtc_configure(hz);
    return;
}