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); }
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); }
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; }