vcpu_time         114 arch/x86/kernel/pvclock.c 			    struct pvclock_vcpu_time_info *vcpu_time,
vcpu_time         137 arch/x86/kernel/pvclock.c 	delta = pvclock_clocksource_read(vcpu_time);	/* time since system boot */
vcpu_time          71 arch/x86/xen/time.c         struct pvclock_vcpu_time_info *vcpu_time;
vcpu_time          73 arch/x86/xen/time.c 	vcpu_time = &get_cpu_var(xen_vcpu)->time;
vcpu_time          74 arch/x86/xen/time.c 	pvclock_read_wallclock(wall_clock, vcpu_time, ts);