Searched refs:icr_timer (Results 1 – 2 of 2) sorted by relevance
221 KASSERT(ccr <= lapic->icr_timer, ("vlapic_get_ccr: invalid ccr %#x, " in vlapic_get_ccr()222 "icr_timer is %#x", ccr, lapic->icr_timer)); in vlapic_get_ccr()224 ccr, lapic->icr_timer); in vlapic_get_ccr()250 bintime_mul(&vlapic->timer_period_bt, lapic->icr_timer); in vlapic_dcr_write_handler()782 uint32_t icr_timer; in vlapic_icrtmr_write_handler() local787 icr_timer = lapic->icr_timer; in vlapic_icrtmr_write_handler()790 bintime_mul(&vlapic->timer_period_bt, icr_timer); in vlapic_icrtmr_write_handler()792 if (icr_timer != 0) { in vlapic_icrtmr_write_handler()1430 *data = lapic->icr_timer; in vlapic_read()1528 lapic->icr_timer = data; in vlapic_write()[all …]
182 u_int32_t icr_timer; PAD3; member