Searched refs:xen_fetch_vcpu_time (Results 1 – 1 of 1) sorted by relevance
157 xen_fetch_vcpu_time(struct vcpu_info *vcpu) in xen_fetch_vcpu_time() function178 vcpu_time = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_get_timecount()208 uptime = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xen_fetch_uptime()232 xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_settime()276 pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info)); in xentimer_intr()334 next_time = xen_fetch_vcpu_time(vcpu) + first_in_ns; in xentimer_et_start()524 end_ns = xen_fetch_vcpu_time(vcpu); in xen_delay()528 current = xen_fetch_vcpu_time(vcpu); in xen_delay()