frontend_mutex     90 drivers/media/dvb-core/dvb_frontend.c static DEFINE_MUTEX(frontend_mutex);
frontend_mutex   2967 drivers/media/dvb-core/dvb_frontend.c 	if (mutex_lock_interruptible(&frontend_mutex))
frontend_mutex   2972 drivers/media/dvb-core/dvb_frontend.c 		mutex_unlock(&frontend_mutex);
frontend_mutex   3008 drivers/media/dvb-core/dvb_frontend.c 	mutex_unlock(&frontend_mutex);
frontend_mutex   3019 drivers/media/dvb-core/dvb_frontend.c 	mutex_lock(&frontend_mutex);
frontend_mutex   3024 drivers/media/dvb-core/dvb_frontend.c 	mutex_unlock(&frontend_mutex);