Bae, Chang Seok Fri, 22 Jun 2018 11:02:32 -0700
> Still setup_cpu_number() sucks. How about setup_cpu_and_node_number()?
Thanks, Chang