arch/arm64/kvm/arch_timer.c

1004

kvm_timer_update_irq(vcpu, false, vtimer);

arch/arm64/kvm/arch_timer.c

1053

kvm_timer_update_irq(vcpu, false,

arch/arm64/kvm/arch_timer.c

233

kvm_timer_update_irq(vcpu, true, ctx);

arch/arm64/kvm/arch_timer.c

362

kvm_timer_update_irq(vcpu, true, ctx);

arch/arm64/kvm/arch_timer.c

42

static void kvm_timer_update_irq(struct kvm_vcpu *vcpu, bool new_level,

arch/arm64/kvm/arch_timer.c

492

kvm_timer_update_irq(timer_context_to_vcpu(ctx), pending, ctx);

arch/arm64/kvm/arch_timer.c

698

kvm_timer_update_irq(vcpu, pending, ctx);

arch/arm64/kvm/arch_timer.c

720

kvm_timer_update_irq(vcpu, pending, vtimer);

arch/arm64/kvm/trace_arm.h

206

TRACE_EVENT(kvm_timer_update_irq,