28 struct LockState {  struct
32   LockState(Kind K) : K(K) {}  in LockState()  argument
35   static LockState getLocked(void) { return LockState(Locked); }  in getLocked()  argument
36   static LockState getUnlocked(void) { return LockState(Unlocked); }  in getUnlocked()  argument
37   static LockState getDestroyed(void) { return LockState(Destroyed); }  in getDestroyed()  argument
39   bool operator==(const LockState &X) const {  in operator ==()  argument
79 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState)  in REGISTER_LIST_WITH_PROGRAMSTATE()
140   if (const LockState *LState = state->get<LockMap>(lockR)) {  in AcquireLock()
190   lockSucc = lockSucc->set<LockMap>(lockR, LockState::getLocked());  in AcquireLock()
203   if (const LockState *LState = state->get<LockMap>(lockR)) {  in ReleaseLock()
248   state = state->set<LockMap>(lockR, LockState::getUnlocked());  in ReleaseLock()
261   const LockState *LState = State->get<LockMap>(LockR);  in DestroyLock()
263     State = State->set<LockMap>(LockR, LockState::getDestroyed());  in DestroyLock()
296   const struct LockState *LState = State->get<LockMap>(LockR);  in InitLock()
298     State = State->set<LockMap>(LockR, LockState::getUnlocked());  in InitLock()