- [STABLE_NAME] = (_HNF| _NS| _UPT ),
- [TSO] = (_HNF| _NS| _MUT|_UPT ),
- [BLOCKED_FETCH] = (_HNF| _NS| _MUT|_UPT ),
- [FETCH_ME] = (_HNF| _NS| _MUT|_UPT ),
- [FETCH_ME_BQ] = ( _NS| _MUT|_UPT ),
- [RBH] = ( _NS| _MUT|_UPT ),
- [REMOTE_REF] = (_HNF| _NS| _UPT ),
- [TVAR_WATCH_QUEUE] = ( _NS| _MUT|_UPT ),
- [INVARIANT_CHECK_QUEUE]= ( _NS| _MUT|_UPT ),
- [ATOMIC_INVARIANT] = ( _NS| _MUT|_UPT ),
- [TVAR] = (_HNF| _NS| _MUT|_UPT ),
+ [PRIM] = (_HNF| _NS| _UPT ),
+ [MUT_PRIM] = (_HNF| _NS| _MUT|_UPT ),
+ [TSO] = (_HNF| _NS| _MUT|_UPT ),
+ [STACK] = (_HNF| _NS| _MUT|_UPT ),