Symbol: vgic_mmio_change_active
arch/arm64/kvm/vgic/vgic-mmio.c
602
vgic_mmio_change_active(vcpu, irq, false);
arch/arm64/kvm/vgic/vgic-mmio.c
639
vgic_mmio_change_active(vcpu, irq, true);