Searched refs:guest_tsc_khz (Results 1 – 3 of 3) sorted by relevance
60 uint64_t tsc_hz = guest_tsc_khz * 1000; in apic_guest_code()
26 uint64_t guest_tsc_khz; variable636 guest_tsc_khz = r; in kvm_arch_vm_post_create()637 sync_global_to_guest(vm, guest_tsc_khz); in kvm_arch_vm_post_create()
26 extern uint64_t guest_tsc_khz;828 GUEST_ASSERT(guest_tsc_khz); in udelay()829 cycles = guest_tsc_khz / 1000 * usec; in udelay()