Searched refs:num_cache_lines (Results 1 – 1 of 1) sorted by relevance
67 uint32_t num_cache_lines; in Flush() local69 num_cache_lines = ((last_cache_line_addr - first_cache_line_addr)/cache_line_byte_size) + 1; in Flush()71 num_cache_lines = (UINT64_MAX - first_cache_line_addr + 1)/cache_line_byte_size; in Flush()75 cache_idx < num_cache_lines; in Flush()