Copyright
Digital Equipment Corp.
All rights reserved.
Arguments
mutex Mutex to be unlocked.