__CMTX_CONTENDED
__CMTX_LOCKED, __CMTX_CONTENDED);
case __CMTX_CONTENDED:
__CMTX_CONTENDED, NULL, NULL);
__CMTX_UNLOCKED, __CMTX_CONTENDED);
cmtx->lock = __CMTX_CONTENDED;
__CMTX_CONTENDED, NULL, NULL);
cmtx->lock = __CMTX_CONTENDED;