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