Searched refs:tdt_msr (Results 1 – 2 of 2) sorted by relevance
681 vcpu_vlapic(v)->hw.tdt_msr = 0; in vlapic_tdt_pt_cb()829 vlapic->hw.tdt_msr = 0; in vlapic_reg_write()1107 return vlapic->hw.tdt_msr; in vlapic_tdt_msr_get()1133 vlapic->hw.tdt_msr = value; in vlapic_tdt_msr_set()1144 vlapic->hw.tdt_msr = 0; in vlapic_tdt_msr_set()1169 vlapic->hw.tdt_msr, guest_tsc); in vlapic_tdt_msr_set()1376 uint64_t period, tdt_msr; in lapic_rearm() local1382 if ( (tdt_msr = vlapic_tdt_msr_get(s)) != 0 ) in lapic_rearm()1383 vlapic_tdt_msr_set(s, tdt_msr); in lapic_rearm()
411 uint64_t tdt_msr; member
Completed in 9 milliseconds