Symbol: kvm_timer_vcpu_load_gic
arch/arm64/kvm/arch_timer.c
870
kvm_timer_vcpu_load_gic(map.direct_vtimer);
arch/arm64/kvm/arch_timer.c
872
kvm_timer_vcpu_load_gic(map.direct_ptimer);