Function flash_flush_cache

core/flash.c:45–53

}

void flash_flush_cache(void) {
    /* Flush only if the cache has been used since the last flush */
    if (flash.lastCacheLine != FLASH_CACHE_INVALID_LINE) {
        flash.lastCacheLine = FLASH_CACHE_INVALID_LINE;
        for (unsigned int set = 0; set < FLASH_CACHE_SETS; set++) {
            flash.cacheTags[set].mru = flash.cacheTags[set].lru = FLASH_CACHE_INVALID_TAG;
        }
    }
}

uint32_t flash_touch_cache(uint32_t addr) {
    if (unlikely(++cpu.flashTotalAccesses == 0)) {