Searched refs:timerid (Results 1 – 1 of 1) sorted by relevance
1061 static void timer_context_init(struct kvm_vcpu *vcpu, int timerid) in timer_context_init() argument1063 struct arch_timer_context *ctxt = vcpu_get_timer(vcpu, timerid); in timer_context_init()1068 if (timerid == TIMER_VTIMER) in timer_context_init()1075 switch (timerid) { in timer_context_init()
Completed in 7 milliseconds