pmap_invalidate_icache_action
smp_rendezvous_cpus(cpumask, pmap_invalidate_icache_action,
void pmap_invalidate_icache_action(void *);