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);