invalidate_cache  523 drivers/video/fbdev/platinumfb.c #define invalidate_cache(addr) \
invalidate_cache  527 drivers/video/fbdev/platinumfb.c #define invalidate_cache(addr)