1// SPDX-License-Identifier: GPL-2.0
 2int 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}