Searched defs:guest_tsc (Results 1 – 1 of 1) sorted by relevance
1606 u64 guest_tsc, tsc_deadline; in __kvm_wait_lapic_expire() local1692 u64 guest_tsc, tscdeadline = ktimer->tscdeadline; in start_sw_tscdeadline() local