HWD_CORES_PER_CPU_CHIP
for (i = 0; i < HWD_CORES_PER_CPU_CHIP; i++) {
hwd_core_t chip_cores[HWD_CORES_PER_CPU_CHIP];