invalidate_cache  591 drivers/video/fbdev/platinumfb.c 	invalidate_cache(&fbuffer[0x100000]);
invalidate_cache  594 drivers/video/fbdev/platinumfb.c 	invalidate_cache(&fbuffer[0x200000]);
invalidate_cache  597 drivers/video/fbdev/platinumfb.c 	invalidate_cache(&fbuffer[0x300000]);