Searched refs:vgic_set_rdist_busy (Results 1 – 1 of 1) sorted by relevance
535 static void vgic_set_rdist_busy(struct kvm_vcpu *vcpu, bool busy) in vgic_set_rdist_busy() function562 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invlpi()570 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invlpi()581 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invall()583 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invall()