// SPDX-License-Identifier: GPL-2.0 int cache_control(unsigned int command) { <------>volatile unsigned int *p = (volatile unsigned int *) 0x80000000; <------>int i; <------>for (i = 0; i < (32 * 1024); i += 32) { <------><------>(void)*p; <------><------>p += (32 / sizeof(int)); <------>} <------>return 0; }