cache.h File Reference

cache maintenance More...

Go to the source code of this file.

Functions
int	TEES_DcacheFlush (const void *addr, size_t nbytes)
	Perform data cache flush. More...
int	TEES_DcacheClean (const void *addr, size_t nbytes)
	Perform data cache clean. More...

Detailed Description

cache maintenance

Copyright

(C) 2012-2019, Samsung Electronics Co., Ltd.