Searched refs:flush_l3_dcache (Results 1 – 3 of 3) sorted by relevance
212 flush_l3_dcache(); in socfpga_system_reset()
456 int flush_l3_dcache(void);
672 int flush_l3_dcache(void) in flush_l3_dcache() function