Searched refs:xentimer_vcpu_start_timer (Results 1 – 1 of 1) sorted by relevance
284 xentimer_vcpu_start_timer(int vcpu, uint64_t next_time) in xentimer_vcpu_start_timer() function335 error = xentimer_vcpu_start_timer(cpu, next_time); in xentimer_et_start()