CMPXCHG_DOUBLE_FAIL
stat(s, CMPXCHG_DOUBLE_FAIL);
STAT_ATTR(CMPXCHG_DOUBLE_FAIL, cmpxchg_double_fail);