Lines Matching defs:icr_timer

221 	KASSERT(ccr <= lapic->icr_timer, ("vlapic_get_ccr: invalid ccr %#x, "
222 	    "icr_timer is %#x", ccr, lapic->icr_timer));
223 	VLAPIC_CTR2(vlapic, "vlapic ccr_timer = %#x, icr_timer = %#x",
224 	    ccr, lapic->icr_timer);
250 	bintime_mul(&vlapic->timer_period_bt, lapic->icr_timer);
782 	uint32_t icr_timer;
787 	icr_timer = lapic->icr_timer;
790 	bintime_mul(&vlapic->timer_period_bt, icr_timer);
792 	if (icr_timer != 0) {
1430 			*data = lapic->icr_timer;
1528 			lapic->icr_timer = data;
1858 		/* snapshot the page first; timer period depends on icr_timer */
1870 		 * Timer period is equal to 'icr_timer' ticks at a frequency of
1875 			bintime_mul(&vlapic->timer_period_bt, lapic->icr_timer);
1893 		    vlapic_enabled(vlapic) && lapic->icr_timer != 0) {