K 10 svn:author V 3 des K 8 svn:date V 27 2002-04-25T22:48:40.000000Z K 7 svn:log V 182 Add the mutex profiling lock to the witness list. This hopefully unbreaks the MUTEX_PROFILING + WITNESS + !WITNESS_SKIPSPIN case. Submitted by: Hiten Pandya END