Searched refs:hfence_head (Results 1 – 3 of 3) sorted by relevance
197 if (varch->hfence_queue[varch->hfence_head].type) { in vcpu_hfence_dequeue()198 memcpy(out_data, &varch->hfence_queue[varch->hfence_head], in vcpu_hfence_dequeue()200 varch->hfence_queue[varch->hfence_head].type = 0; in vcpu_hfence_dequeue()202 varch->hfence_head++; in vcpu_hfence_dequeue()203 if (varch->hfence_head == KVM_RISCV_VCPU_MAX_HFENCE) in vcpu_hfence_dequeue()204 varch->hfence_head = 0; in vcpu_hfence_dequeue()
111 vcpu->arch.hfence_head = 0; in kvm_riscv_reset_vcpu()
237 unsigned long hfence_head; member
Completed in 19 milliseconds