Searched refs:dcr_timer (Results 1 – 2 of 2) sorted by relevance
268 VLAPIC_BUS_FREQ / vlapic_timer_divisor(lapic->dcr_timer); in vlapic_update_divider()1304 data = lapic->dcr_timer; in vlapic_read()1377 lapic->dcr_timer = data; in vlapic_write()1421 lapic->dcr_timer = 0; in vlapic_reset()1865 out_page->vlp_dcr_timer = lapic->dcr_timer; in vlapic_data_read()2010 lapic->dcr_timer = page->vlp_dcr_timer; in vlapic_data_write()
190 u_int32_t dcr_timer; PAD3; member