Searched refs:lockNs (Results 1 – 1 of 1) sorted by relevance
217 UWord* lockNs = NULL; in enumerate_WordSet_into_LockP_vector() local222 HG_(getPayloadWS)( &lockNs, &nLockNs, univ_lsets, lockset ); in enumerate_WordSet_into_LockP_vector()223 tl_assert(lockNs); in enumerate_WordSet_into_LockP_vector()228 lockPs[i] = mk_LockP_from_LockN( (Lock*)lockNs[i], in enumerate_WordSet_into_LockP_vector()