Searched refs:nLocks (Results 1 – 1 of 1) sorted by relevance
213 UWord nLocks = HG_(cardinalityWS)(univ_lsets, lockset); in enumerate_WordSet_into_LockP_vector() local215 (nLocks+1) * sizeof(Lock*) ); in enumerate_WordSet_into_LockP_vector()216 tl_assert(lockPs[nLocks] == NULL); /* pre-NULL terminated */ in enumerate_WordSet_into_LockP_vector()219 if (nLocks > 0) { in enumerate_WordSet_into_LockP_vector()242 static void count_LockP_vector ( /*OUT*/UWord* nLocks, in count_LockP_vector() argument247 *nLocks = *nLocksValid = 0; in count_LockP_vector()250 (*nLocks)++; in count_LockP_vector()833 UWord nLocks = 0, nLocksValid = 0; in show_LockP_summary_textmode() local834 count_LockP_vector(&nLocks, &nLocksValid, locks); in show_LockP_summary_textmode()835 tl_assert(nLocksValid <= nLocks); in show_LockP_summary_textmode()[all …]