3 * @brief C++11 mutex interface header
9 #include "modeltypes.h"
13 void *locked; /* Thread holding the lock */
14 thread_id_t alloc_tid;
15 modelclock_t alloc_clock;
26 struct mutex_state * get_state() {return &state;}
27 void initialize() { state.init = 1; } // WL
28 bool is_initialized() { return state.init == 1; }
31 struct mutex_state state;
34 #endif /* __CXX_MUTEX__ */