timer_context_to_vcpu
struct kvm_vcpu *vcpu = timer_context_to_vcpu(ctxt);
struct kvm_vcpu *vcpu = timer_context_to_vcpu(ctxt);
vcpu = timer_context_to_vcpu(ctx);
struct kvm_vcpu *vcpu = timer_context_to_vcpu(ctx);
kvm_timer_update_irq(timer_context_to_vcpu(ctx), should_fire, ctx);
struct arch_timer_cpu *timer = vcpu_timer(timer_context_to_vcpu(ctx));
struct arch_timer_cpu *timer = vcpu_timer(timer_context_to_vcpu(ctx));
struct kvm_vcpu *vcpu = timer_context_to_vcpu(ctx);
struct kvm_vcpu *vcpu = timer_context_to_vcpu(ctxt);
struct kvm_vcpu *vcpu = timer_context_to_vcpu(ctxt);
#define timer_vm_data(ctx) (&(timer_context_to_vcpu(ctx)->kvm->arch.timer_data))