Searched refs:varch (Results 1 – 1 of 1) sorted by relevance
209 spin_lock(&varch->hfence_lock); in vcpu_hfence_dequeue()211 if (varch->hfence_queue[varch->hfence_head].type) { in vcpu_hfence_dequeue()212 memcpy(out_data, &varch->hfence_queue[varch->hfence_head], in vcpu_hfence_dequeue()214 varch->hfence_queue[varch->hfence_head].type = 0; in vcpu_hfence_dequeue()216 varch->hfence_head++; in vcpu_hfence_dequeue()218 varch->hfence_head = 0; in vcpu_hfence_dequeue()234 spin_lock(&varch->hfence_lock); in vcpu_hfence_enqueue()236 if (!varch->hfence_queue[varch->hfence_tail].type) { in vcpu_hfence_enqueue()237 memcpy(&varch->hfence_queue[varch->hfence_tail], in vcpu_hfence_enqueue()240 varch->hfence_tail++; in vcpu_hfence_enqueue()[all …]