Searched refs:flush_cache (Results 1 – 5 of 5) sorted by relevance
119 flush_cache((void *)0x100, 512); in ps3_copy_vectors()
256 .global flush_cache symbol257 flush_cache: label
85 flush_cache(addr, ei.loadsize); in prep_kernel()
94 extern void flush_cache(void *, unsigned long);
1398 int flush_cache = 0; in gdbstub() local1788 flush_cache = 1; in gdbstub()1948 flush_cache = 1; /* soft bkpt by modified memory */ in gdbstub()1976 flush_cache = 1; /* soft bkpt by modified memory */ in gdbstub()2016 if (flush_cache) in gdbstub()