Searched refs:xen_fetch_vcpu_time (Results 1 – 1 of 1) sorted by relevance
158 xen_fetch_vcpu_time(struct vcpu_info *vcpu) in xen_fetch_vcpu_time() function179 vcpu_time = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_get_timecount()209 uptime = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xen_fetch_uptime()233 xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_settime()277 pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_intr()335 next_time = xen_fetch_vcpu_time(vcpu) + first_in_ns; in xentimer_et_start()525 end_ns = xen_fetch_vcpu_time(vcpu); in xen_delay()529 current = xen_fetch_vcpu_time(vcpu); in xen_delay()