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