cpu_number_map
cpu = cpu_number_map(physid);
return cpu_number_map(coreid);
int cpu = cpu_number_map(cvmx_get_core_num());