Searched refs:xentimer_vcpu_stop_timer (Results 1 – 1 of 1) sorted by relevance
298 xentimer_vcpu_stop_timer(int vcpu) in xentimer_vcpu_stop_timer() function357 return (xentimer_vcpu_stop_timer(cpu)); in xentimer_et_stop()