Searched refs:vgic_set_rdist_busy (Results 1 – 1 of 1) sorted by relevance
517 static void vgic_set_rdist_busy(struct kvm_vcpu *vcpu, bool busy) in vgic_set_rdist_busy() function544 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invlpi()552 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invlpi()563 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invall()565 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invall()