Lines Matching defs:ccr
196 uint32_t ccr;
198 ccr = 0;
205 * compute the value of 'ccr' based on the remaining time.
211 ccr += bt_rem.sec * BT2FREQ(&vlapic->timer_freq_bt);
212 ccr += bt_rem.frac / vlapic->timer_freq_bt.frac;
215 KASSERT(ccr <= lapic->icr_timer, ("vlapic_get_ccr: invalid ccr %#x, "
216 "icr_timer is %#x", ccr, lapic->icr_timer));
218 ccr, lapic->icr_timer);
220 return (ccr);