local_icache_inv_range
local_icache_inv_range(¶m);
on_each_cpu(local_icache_inv_range, ¶m, 1);