Searched defs:nLocks (Results 1 – 1 of 1) sorted by relevance
213 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset); in enumerate_WordSet_into_LockP_vector() local242 static void count_LockP_vector ( /*OUT*/UWord* nLocks, in count_LockP_vector()833 UWord nLocks = 0, nLocksValid = 0; in show_LockP_summary_textmode() local