Searched refs:vcpu_time (Results 1 – 1 of 1) sorted by relevance
124 struct pvclock_vcpu_time_info *vcpu_time, in pvclock_read_wallclock() argument147 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()