MUTEX_SKIP
#define MUTEX_SKIP(void) 0
#define MUTEX_SKIP(void) unlikely(SCHEDULER_STOPPED() || kdb_active)