Symbol: atomic_cmpset_64
usr/src/uts/intel/io/vmm/vmm_instruction_emul.c
3259
if (atomic_cmpset_64(&ptpbase[ptpindex],
usr/src/uts/intel/io/vmm/vmm_instruction_emul.c
3285
if (atomic_cmpset_64(&ptpbase[ptpindex], pte, pte | PG_M) == 0)