Symbol: kvm_timer_update_status
arch/arm64/kvm/arch_timer.c
441
kvm_timer_update_status(timer_ctx, new_level);
arch/arm64/kvm/arch_timer.c
466
kvm_timer_update_status(ctx, should_fire);