vexpress_config_mutex   20 drivers/bus/vexpress-config.c static DEFINE_MUTEX(vexpress_config_mutex);
vexpress_config_mutex   37 drivers/bus/vexpress-config.c 	mutex_lock(&vexpress_config_mutex);
vexpress_config_mutex   42 drivers/bus/vexpress-config.c 	mutex_unlock(&vexpress_config_mutex);