Searched refs:flush_kern (Results 1 – 3 of 3) sorted by relevance
589 void flush_kern(void);
421 flush_kern(); in main()
1040 flush_kern(void) in flush_kern() function