Searched refs:vcpu_time (Results 1 – 3 of 3) sorted by relevance
55 struct pvclock_vcpu_time_info *vcpu_time; in kvm_get_wallclock() local66 vcpu_time = &hv_clock[cpu].pvti; in kvm_get_wallclock()67 pvclock_read_wallclock(&wall_clock, vcpu_time, now); in kvm_get_wallclock()245 struct pvclock_vcpu_time_info *vcpu_time; in kvmclock_init() local280 vcpu_time = &hv_clock[cpu].pvti; in kvmclock_init()281 flags = pvclock_read_flags(vcpu_time); in kvmclock_init()310 struct pvclock_vcpu_time_info *vcpu_time; in kvm_setup_vsyscall_timeinfo() local320 vcpu_time = &hv_clock[cpu].pvti; in kvm_setup_vsyscall_timeinfo()321 flags = pvclock_read_flags(vcpu_time); in kvm_setup_vsyscall_timeinfo()
119 struct pvclock_vcpu_time_info *vcpu_time, in pvclock_read_wallclock() argument135 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()
176 struct pvclock_vcpu_time_info *vcpu_time; in xen_read_wallclock() local178 vcpu_time = &get_cpu_var(xen_vcpu)->time; in xen_read_wallclock()179 pvclock_read_wallclock(wall_clock, vcpu_time, ts); in xen_read_wallclock()