soft_timer_start  334 virt/kvm/arm/arch_timer.c 	soft_timer_start(&ctx->hrtimer, kvm_timer_compute_delta(ctx));
soft_timer_start  406 virt/kvm/arm/arch_timer.c 	soft_timer_start(&timer->bg_timer, kvm_timer_earliest_exp(vcpu));