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