Symbol: soft_timer_start
arch/arm64/kvm/arch_timer.c
502
soft_timer_start(&ctx->hrtimer, kvm_timer_compute_delta(ctx));
arch/arm64/kvm/arch_timer.c
617
soft_timer_start(&timer->bg_timer, kvm_timer_earliest_exp(vcpu));