Searched refs:oct_idx (Results 1 – 1 of 1) sorted by relevance
723 u32 oct_idx = 0; in octeon_allocate_device() local728 for (oct_idx = 0; oct_idx < MAX_OCTEON_DEVICES; oct_idx++) in octeon_allocate_device()729 if (!octeon_device[oct_idx]) in octeon_allocate_device()732 if (oct_idx < MAX_OCTEON_DEVICES) { in octeon_allocate_device()736 octeon_device[oct_idx] = oct; in octeon_allocate_device()747 oct->octeon_id = oct_idx; in octeon_allocate_device()