Searched refs:flush_kern (Results 1 – 3 of 3) sorted by relevance
591 extern void flush_kern(void);
410 flush_kern(); in main()
1047 flush_kern(void) in flush_kern() function