Symbol: kvm_setup_guest_pvclock
arch/x86/kvm/x86.c
3388
kvm_setup_guest_pvclock(&hv_clock, v, &vcpu->pv_time, 0);
arch/x86/kvm/x86.c
3408
kvm_setup_guest_pvclock(&hv_clock, v, &vcpu->xen.vcpu_info_cache,
arch/x86/kvm/x86.c
3411
kvm_setup_guest_pvclock(&hv_clock, v, &vcpu->xen.vcpu_time_info_cache, 0);