riscv/kvm/tlb.c

207 	struct kvm_vcpu_arch *varch = &vcpu->arch;
209 	spin_lock(&varch->hfence_lock);
211 	if (varch->hfence_queue[varch->hfence_head].type) {
212 		memcpy(out_data, &varch->hfence_queue[varch->hfence_head],
214 		varch->hfence_queue[varch->hfence_head].type = 0;
216 		varch->hfence_head++;
217 		if (varch->hfence_head == KVM_RISCV_VCPU_MAX_HFENCE)
218 			varch->hfence_head = 0;
223 	spin_unlock(&varch->hfence_lock);
232 	struct kvm_vcpu_arch *varch = &vcpu->arch;
234 	spin_lock(&varch->hfence_lock);
236 	if (!varch->hfence_queue[varch->hfence_tail].type) {
237 		memcpy(&varch->hfence_queue[varch->hfence_tail],
240 		varch->hfence_tail++;
241 		if (varch->hfence_tail == KVM_RISCV_VCPU_MAX_HFENCE)
242 			varch->hfence_tail = 0;
247 	spin_unlock(&varch->hfence_lock);