call_all_cpus
call_all_cpus(void (*function)(void*, int), void* cookie, bool sync)
call_all_cpus(void (*func)(void*, int), void* cookie)