Searched defs:guest_tsc (Results 1 – 2 of 2) sorted by relevance
1845 u64 guest_tsc, tsc_deadline; in __kvm_wait_lapic_expire() local1931 u64 guest_tsc, tscdeadline = ktimer->tscdeadline; in start_sw_tscdeadline() local
2750 uint64_t guest_tsc = decoder->packet.payload; in intel_pt_vm_tm_corr_pebs_tsc() local