Searched refs:cache_idx (Results 1 – 1 of 1) sorted by relevance
91 uint32_t cache_idx = 0; in Flush() local92 for (addr_t curr_addr = first_cache_line_addr; cache_idx < num_cache_lines; in Flush()93 curr_addr += cache_line_byte_size, ++cache_idx) { in Flush()