Searched defs:flush_dcache (Results 1 – 2 of 2) sorted by relevance
950 void VG_(flush_dcache) ( void *ptr, SizeT nbytes ) in VG_() argument
1569 VG_(flush_dcache)(start, len); in VG_() local