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