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