Searched refs:vgic_set_rdist_busy (Results 1 – 1 of 1) sorted by relevance
544 static void vgic_set_rdist_busy(struct kvm_vcpu *vcpu, bool busy) in vgic_set_rdist_busy() function576 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invlpi()584 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invlpi()595 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invall()597 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invall()