PS3DISK_MAX_DISKS
BUILD_BUG_ON(PS3DISK_MAX_DISKS > BITS_PER_LONG);
devidx = find_first_zero_bit(&ps3disk_mask, PS3DISK_MAX_DISKS);
if (devidx >= PS3DISK_MAX_DISKS) {