Symbol: CMPXCHG
usr/src/uts/common/xen/os/gnttab.c
309
} while ((nflags = CMPXCHG(&shared[ref].flags, flags, 0)) != flags);
usr/src/uts/common/xen/os/gnttab.c
377
if (CMPXCHG(&shared[ref].flags, flags, 0) == flags)