Searched refs:maxfreq (Results 1 – 2 of 2) sorted by relevance
124 uint64_t maxfreq = 0; in xc_init() local155 maxfreq = MAX(cpunodes[pix].clock_freq, maxfreq); in xc_init()157 xc_mondo_time_limit = maxfreq * xc_scale; in xc_init()
1387 uint64_t maxfreq; in recalc_xc_timeouts() local1454 maxfreq = xc_mondo_time_limit / xc_scale; in recalc_xc_timeouts()1477 mondo_time_limit = maxfreq * scale; in recalc_xc_timeouts()