Searched refs:dcr_timer (Results 1 – 3 of 3) sorted by relevance
142 regs->dcr_timer.v = in save_lapic()161 msr_write(MSR_IA32_EXT_APIC_DIV_CONF, (uint64_t) regs->dcr_timer.v); in restore_lapic()
75 struct lapic_reg dcr_timer;/*3E0*/ member
340 divisor_shift = vlapic_timer_divisor_shift(lapic->dcr_timer.v); in vlapic_write_dcr()1448 *data = lapic->dcr_timer.v; in vlapic_read()1520 lapic->dcr_timer.v = data32; in vlapic_write()1593 lapic->dcr_timer.v = 0U; in vlapic_reset()1627 lapic->dcr_timer = regs->dcr_timer; in vlapic_restore()
Completed in 11 milliseconds