icache_inv_range
icache_inv_range(address, address + nr*PAGE_SIZE);
icache_inv_range(addr, addr + PAGE_SIZE);
icache_inv_range(start, end);
void icache_inv_range(unsigned long start, unsigned long end);
icache_inv_range(addr, addr + 2);
icache_inv_range(start, end);