Symbol: kvm_vgic_get_map
arch/arm64/kvm/arch_timer.c
736
hw = kvm_vgic_get_map(vcpu, timer_irq(map->direct_vtimer));
include/kvm/arm_vgic.h
403
int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid);