Searched refs:vcpu_time (Results 1 – 3 of 3) sorted by relevance
51 struct pvclock_vcpu_time_info *vcpu_time; in kvm_get_wallclock() local60 vcpu_time = &get_cpu_var(hv_clock); in kvm_get_wallclock()61 pvclock_read_wallclock(&wall_clock, vcpu_time, &ts); in kvm_get_wallclock()
135 struct pvclock_vcpu_time_info *vcpu_time, in pvclock_read_wallclock() argument151 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()
174 struct pvclock_vcpu_time_info *vcpu_time; in xen_read_wallclock() local176 vcpu_time = &get_cpu_var(xen_vcpu)->time; in xen_read_wallclock()177 pvclock_read_wallclock(wall_clock, vcpu_time, ts); in xen_read_wallclock()