Searched refs:flush_dcache (Results 1 – 3 of 3) sorted by relevance
94 extern void VG_(flush_dcache) ( void *ptr, SizeT nbytes );
1197 void VG_(flush_dcache) ( void *ptr, SizeT nbytes ) in VG_() argument
1599 VG_(flush_dcache)(start, len); in VG_() local