smp_rendezvous_cpus
void smp_rendezvous_cpus(unsigned long, void (*)(void *), void *arg);
smp_rendezvous_cpus(cpumask, pmap_invalidate_icache_action,
smp_rendezvous_cpus(cpumask,