Searched refs:vcpu_time (Results 1 – 1 of 1) sorted by relevance
251 struct pvclock_vcpu_time_info *vcpu_time, in pvclock_read_wallclock() argument267 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()278 struct pvclock_vcpu_time_info *vcpu_time; in kvm_get_wallclock() local282 vcpu_time = &hv_clock[index]; in kvm_get_wallclock()283 pvclock_read_wallclock(&wall_clock, vcpu_time, ts); in kvm_get_wallclock()