Symbol: kvm_counter_compute_delta
arch/arm64/kvm/arch_timer.c
251
return kvm_counter_compute_delta(timer_ctx, timer_get_cval(timer_ctx));
arch/arm64/kvm/arch_timer.c
275
return kvm_counter_compute_delta(ctx, val);