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