ps3disk_mask_mutex  388 drivers/block/ps3disk.c static DEFINE_MUTEX(ps3disk_mask_mutex);
ps3disk_mask_mutex  411 drivers/block/ps3disk.c 	mutex_lock(&ps3disk_mask_mutex);
ps3disk_mask_mutex  416 drivers/block/ps3disk.c 		mutex_unlock(&ps3disk_mask_mutex);
ps3disk_mask_mutex  420 drivers/block/ps3disk.c 	mutex_unlock(&ps3disk_mask_mutex);
ps3disk_mask_mutex  505 drivers/block/ps3disk.c 	mutex_lock(&ps3disk_mask_mutex);
ps3disk_mask_mutex  507 drivers/block/ps3disk.c 	mutex_unlock(&ps3disk_mask_mutex);
ps3disk_mask_mutex  516 drivers/block/ps3disk.c 	mutex_lock(&ps3disk_mask_mutex);
ps3disk_mask_mutex  519 drivers/block/ps3disk.c 	mutex_unlock(&ps3disk_mask_mutex);