Home
last modified time | relevance | path

Searched refs:vcpu_get_timer (Results 1 – 2 of 2) sorted by relevance

/linux/arch/arm64/kvm/
H A Darch_timer.c952 timer_set_ctl(vcpu_get_timer(vcpu, i), 0); in kvm_timer_vcpu_reset()
969 vcpu_get_timer(vcpu, i)); in kvm_timer_vcpu_reset()
986 struct arch_timer_context *ctxt = vcpu_get_timer(vcpu, timerid); in timer_context_init()
1176 timer = vcpu_get_timer(vcpu, tmr); in kvm_arm_timer_read_sysreg()
1228 timer = vcpu_get_timer(vcpu, tmr); in kvm_arm_timer_write_sysreg()
1463 ctx = vcpu_get_timer(vcpu, i); in timer_irqs_are_valid()
1495 ctx = vcpu_get_timer(vcpu, i); in kvm_arch_timer_get_input_level()
/linux/include/kvm/
H A Darm_arch_timer.h123 #define vcpu_get_timer(v,t) (&vcpu_timer(v)->timers[(t)]) macro