extern int wcpu_on_each_cpu(void(*cb)());