Searched refs:hfence_queue (Results 1 – 3 of 3) sorted by relevance
218 if (varch->hfence_queue[varch->hfence_head].type) { in vcpu_hfence_dequeue()219 memcpy(out_data, &varch->hfence_queue[varch->hfence_head], in vcpu_hfence_dequeue()221 varch->hfence_queue[varch->hfence_head].type = 0; in vcpu_hfence_dequeue()243 if (!varch->hfence_queue[varch->hfence_tail].type) { in vcpu_hfence_enqueue()244 memcpy(&varch->hfence_queue[varch->hfence_tail], in vcpu_hfence_enqueue()
97 memset(vcpu->arch.hfence_queue, 0, sizeof(vcpu->arch.hfence_queue)); in kvm_riscv_reset_vcpu()
257 struct kvm_riscv_hfence hfence_queue[KVM_RISCV_VCPU_MAX_HFENCE]; member