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}
14