boot/compressed/cache.c

71373068SPaul Mundtint cache_control(unsigned int command)
71373068SPaul Mundt{
71373068SPaul Mundt	volatile unsigned int *p = (volatile unsigned int *) 0x80000000;
71373068SPaul Mundt	int i;
71373068SPaul Mundt
71373068SPaul Mundt	for (i = 0; i < (32 * 1024); i += 32) {
71373068SPaul Mundt		(void)*p;
71373068SPaul Mundt		p += (32 / sizeof (int));
71373068SPaul Mundt	}
71373068SPaul Mundt
71373068SPaul Mundt	return 0;
71373068SPaul Mundt}