Symbol: vgic_set_rdist_busy
arch/arm64/kvm/vgic/vgic-mmio-v3.c
576
vgic_set_rdist_busy(vcpu, true);
arch/arm64/kvm/vgic/vgic-mmio-v3.c
584
vgic_set_rdist_busy(vcpu, false);
arch/arm64/kvm/vgic/vgic-mmio-v3.c
595
vgic_set_rdist_busy(vcpu, true);
arch/arm64/kvm/vgic/vgic-mmio-v3.c
597
vgic_set_rdist_busy(vcpu, false);