mISDN_mutex        23 drivers/isdn/mISDN/timerdev.c static DEFINE_MUTEX(mISDN_mutex);
mISDN_mutex       226 drivers/isdn/mISDN/timerdev.c 	mutex_lock(&mISDN_mutex);
mISDN_mutex       258 drivers/isdn/mISDN/timerdev.c 	mutex_unlock(&mISDN_mutex);