コード例 #1
0
ファイル: sdmapx.cpp プロジェクト: blueskycoco/dm3730-spi
//
// Flush cache helper function
//
__inline
void
FlushCache(
    void* pSrc, 
    void* pDst, 
    int size,
    UINT ffCache
    )
{
	UNREFERENCED_PARAMETER(size);
	UNREFERENCED_PARAMETER(pDst);
	UNREFERENCED_PARAMETER(pSrc);

    CacheRangeFlush(NULL, 0, 
        ffCache == SOURCE_CACHED ? CACHE_SYNC_WRITEBACK : CACHE_SYNC_DISCARD
        );
}
コード例 #2
0
ファイル: giz.c プロジェクト: 133794m3r/picodrive
void cache_flush_d_inval_i(void *start_addr, void *end_addr)
{
	int size = end_addr - start_addr;
	CacheRangeFlush(start_addr, size, CACHE_SYNC_WRITEBACK);
	CacheRangeFlush(start_addr, size, CACHE_SYNC_INSTRUCTIONS);
}