Searched refs:vgic_mmio_change_active (Results 1 – 1 of 1) sorted by relevance
539 static void vgic_mmio_change_active(struct kvm_vcpu *vcpu, struct vgic_irq *irq, in vgic_mmio_change_active() function595 vgic_mmio_change_active(vcpu, irq, false); in __vgic_mmio_write_cactive()632 vgic_mmio_change_active(vcpu, irq, true); in __vgic_mmio_write_sactive()