Searched refs:tdt_msr (Results 1 – 2 of 2) sorted by relevance
706 vcpu_vlapic(v)->hw.tdt_msr = 0; in vlapic_tdt_pt_cb()853 vlapic->hw.tdt_msr = 0; in vlapic_reg_write()1181 return vlapic->hw.tdt_msr; in vlapic_tdt_msr_get()1207 vlapic->hw.tdt_msr = value; in vlapic_tdt_msr_set()1218 vlapic->hw.tdt_msr = 0; in vlapic_tdt_msr_set()1243 vlapic->hw.tdt_msr, guest_tsc); in vlapic_tdt_msr_set()1455 uint64_t period, tdt_msr; in lapic_rearm() local1461 if ( (tdt_msr = vlapic_tdt_msr_get(s)) != 0 ) in lapic_rearm()1462 vlapic_tdt_msr_set(s, tdt_msr); in lapic_rearm()
413 uint64_t tdt_msr; member
Completed in 15 milliseconds