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()
|