/* * mutex_owned: * * Return true if the current LWP (adaptive) or CPU (spin) * holds the mutex. */