Searched refs:rtc_decrementer_max (Results 1 – 1 of 1) sorted by relevance
54 static uint64_t rtc_decrementer_max; variable67 return MIN(MAX(rtc_decrementer_min, delta), rtc_decrementer_max); in deadline_to_decrementer()179 rtc_decrementer_max = UINT64_MAX; /* effectively none */ in rtc_timer_init()190 rtc_decrementer_max = tmrCvt(0x7fffffffULL, busFCvtt2n); in rtc_timer_init()191 kprintf("maxDec: %lld\n", rtc_decrementer_max); in rtc_timer_init()