Searched refs:vgic_set_rdist_busy (Results 1 – 1 of 1) sorted by relevance
542 static void vgic_set_rdist_busy(struct kvm_vcpu *vcpu, bool busy) in vgic_set_rdist_busy() function574 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invlpi()582 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invlpi()593 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invall()595 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invall()