flush_cache        55 drivers/video/fbdev/i810/i810_main.h static inline void flush_cache(void)
flush_cache        60 drivers/video/fbdev/i810/i810_main.h #define flush_cache() do { } while(0)