CMPXCHG           143 arch/x86/kvm/paging_tmpl.h 		ret = CMPXCHG(&table[index], orig_pte, new_pte);
CMPXCHG           166 arch/x86/kvm/paging_tmpl.h 		ret = CMPXCHG(&table[index], orig_pte, new_pte);