Searched refs:num_cache_lines (Results 1 – 1 of 1) sorted by relevance
82 uint32_t num_cache_lines; in Flush() local84 num_cache_lines = ((last_cache_line_addr - first_cache_line_addr) / in Flush()88 num_cache_lines = in Flush()92 for (addr_t curr_addr = first_cache_line_addr; cache_idx < num_cache_lines; in Flush()