Home
last modified time | relevance | path

Searched refs:icr_timer (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/
A Dlapic.c140 regs->icr_timer.v = (uint32_t) msr_read(MSR_IA32_EXT_APIC_INIT_COUNT); in save_lapic()
160 msr_write(MSR_IA32_EXT_APIC_INIT_COUNT, (uint64_t) regs->icr_timer.v); in restore_lapic()
/hypervisor/include/arch/x86/asm/
A Dapicreg.h72 struct lapic_reg icr_timer;/*380*/ member
/hypervisor/arch/x86/guest/
A Dvlapic.c353 vtimer->tmicr = lapic->icr_timer.v; in vlapic_write_icrtmr()
1441 *data = lapic->icr_timer.v; in vlapic_read()
1515 lapic->icr_timer.v = data32; in vlapic_write()
1592 lapic->icr_timer.v = 0U; in vlapic_reset()
1625 lapic->icr_timer = regs->icr_timer; in vlapic_restore()

Completed in 13 milliseconds