162 xen_fetch_vcpu_time(struct vcpu_info *vcpu)  in xen_fetch_vcpu_time()  argument
166 	time = (struct pvclock_vcpu_time_info *) &vcpu->time;  in xen_fetch_vcpu_time()
289 xentimer_vcpu_start_timer(int vcpu, uint64_t next_time)  in xentimer_vcpu_start_timer()  argument
296 	return (HYPERVISOR_vcpu_op(VCPUOP_set_singleshot_timer, vcpu, &single));  in xentimer_vcpu_start_timer()
300 xentimer_vcpu_stop_timer(int vcpu)  in xentimer_vcpu_stop_timer()  argument
303 	return (HYPERVISOR_vcpu_op(VCPUOP_stop_singleshot_timer, vcpu, NULL));  in xentimer_vcpu_stop_timer()
326 	struct vcpu_info *vcpu = DPCPU_GET(vcpu_info);  in xentimer_et_start()  local
339 	next_time = xen_fetch_vcpu_time(vcpu) + first_in_ns;  in xentimer_et_start()
525 	struct vcpu_info *vcpu = &HYPERVISOR_shared_info->vcpu_info[0];  in xen_delay()  local
529 	end_ns = xen_fetch_vcpu_time(vcpu);  in xen_delay()
533 		current = xen_fetch_vcpu_time(vcpu);  in xen_delay()