vgic_set_rdist_busy (reference) in projects: arch

Searched refs:vgic_set_rdist_busy (Results 1 – 1 of 1) sorted by relevance

/arch/arm64/kvm/vgic/
A D	vgic-mmio-v3.c	`536 static void vgic_set_rdist_busy(struct kvm_vcpu *vcpu, bool busy) in vgic_set_rdist_busy() function 568 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invlpi() 576 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invlpi() 587 vgic_set_rdist_busy(vcpu, true); in vgic_mmio_write_invall() 589 vgic_set_rdist_busy(vcpu, false); in vgic_mmio_write_invall()`

Completed in 5 milliseconds