Searched defs:varch (Results 1 – 1 of 1) sorted by relevance
266 struct kvm_vcpu_arch *varch = &vcpu->arch; in vcpu_hfence_dequeue() local291 struct kvm_vcpu_arch *varch = &vcpu->arch; in vcpu_hfence_enqueue() local