set_cpu_logical_map
set_cpu_logical_map(0, mpidr);
set_cpu_logical_map(cpu_count, hwid);
set_cpu_logical_map(i, INVALID_HWID);