Searched refs:dcr_timer (Results 1 – 3 of 3) sorted by relevance
233 divisor = vlapic_timer_divisor(lapic->dcr_timer); in vlapic_dcr_write_handler()235 lapic->dcr_timer, divisor); in vlapic_dcr_write_handler()1294 *data = lapic->dcr_timer; in vlapic_read()1391 lapic->dcr_timer = data; in vlapic_write()1436 lapic->dcr_timer = 0; in vlapic_reset()
190 u_int32_t dcr_timer; PAD3; member
829 lapic->dcr_timer = lapic_timer_divisors[ffs(divisor) - 1]; in lapic_timer_set_divisor()