cache.c

使用广泛的日本著名的开源嵌入式实时操作系统T-Kernel的源码

/*
 *----------------------------------------------------------------------
 *    T-Kernel
 *
 *    Copyright (C) 2004-2006 by Ken Sakamura. All rights reserved.
 *    T-Kernel is distributed under the T-License.
 *----------------------------------------------------------------------
 *
 *    Version:   1.02.02
 *    Released by T-Engine Forum(http://www.t-engine.org) at 2006/8/9.
 *
 *----------------------------------------------------------------------
 */

/*
 *	cache.c (S1C38K)
 *	Cache Operation
 */

#include <basic.h>
#include <tk/tkernel.h>

/*
 * Flush the whole memory cache
 *	Need to flush cache every time mapping of the logical address and 
 *	the physical address changes because this cache is identified by the 
 *	logical address(Cache coherency is not guaranteed on hardware).
 */
EXPORT void FlushCache( VP laddr, INT len )
{
	Asm("mcr p15, 0, %0, cr7, c7, 0":: "r"(0));
}


EXPORT void FlushCacheM( VP laddr, INT len, UINT mode )
{
	/* Ignore 'mode', because of unified cache,
	   which stores both instructions and data */
	FlushCache(laddr, len);
}