3 * @brief C++11 mutex interface header
9 #include "modeltypes.h"
14 void *locked; /* Thread holding the lock */
15 thread_id_t alloc_tid;
16 modelclock_t alloc_clock;
27 struct mutex_state * get_state() {return &state;}
30 struct mutex_state state;
33 class snapmutex : public mutex {
40 #endif /* __CXX_MUTEX__ */