ps3disk_mask      386 drivers/block/ps3disk.c static unsigned long ps3disk_mask;
ps3disk_mask      412 drivers/block/ps3disk.c 	devidx = find_first_zero_bit(&ps3disk_mask, PS3DISK_MAX_DISKS);
ps3disk_mask      419 drivers/block/ps3disk.c 	__set_bit(devidx, &ps3disk_mask);
ps3disk_mask      506 drivers/block/ps3disk.c 	__clear_bit(devidx, &ps3disk_mask);
ps3disk_mask      518 drivers/block/ps3disk.c 		    &ps3disk_mask);