Symbol: xen_get_guest_pvclock
arch/x86/kvm/xen.c
227
r = xen_get_guest_pvclock(vcpu, &hv_clock, &xen->vcpu_info_cache,
arch/x86/kvm/xen.c
230
r = xen_get_guest_pvclock(vcpu, &hv_clock, &xen->vcpu_time_info_cache, 0);