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() function569 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invlpi()577 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invlpi()588 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invall()590 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invall()