Symbol: vgic_access_active_finish
arch/arm64/kvm/vgic/vgic-mmio.c
523
vgic_access_active_finish(vcpu, intid);
arch/arm64/kvm/vgic/vgic-mmio.c
618
vgic_access_active_finish(vcpu, intid);
arch/arm64/kvm/vgic/vgic-mmio.c
655
vgic_access_active_finish(vcpu, intid);