Searched refs:cmpxchg_gpte (Results 1 – 1 of 1) sorted by relevance
| /arch/x86/kvm/ |
| D | paging_tmpl.h | 81 static int FNAME(cmpxchg_gpte)(struct kvm_vcpu *vcpu, struct kvm_mmu *mmu, in FNAME() argument
239 ret = FNAME(cmpxchg_gpte)(vcpu, mmu, ptep_user, index, in FNAME()
291 ret = FNAME(cmpxchg_gpte)(vcpu, mmu, ptep_user, index, in FNAME()
|