1int cache_control(unsigned int command)
2{
3	volatile unsigned int *p = (volatile unsigned int *) 0x80000000;
4	int i;
5
6	for (i = 0; i < (32 * 1024); i += 32) {
7		(void)*p;
8		p += (32 / sizeof(int));
9	}
10
11	return 0;
12}
13