Searched refs:flush_kern (Results 1 – 3 of 3) sorted by relevance
555 void flush_kern(void);
396 flush_kern(); in main()
1030 flush_kern(void) in flush_kern() function