vgic_mmio_change_active 441 virt/kvm/arm/vgic/vgic-mmio.c vgic_mmio_change_active(vcpu, irq, false); vgic_mmio_change_active 478 virt/kvm/arm/vgic/vgic-mmio.c vgic_mmio_change_active(vcpu, irq, true);