1 int 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