CPT_MAX_TOTAL_CORES
total_cores = CPT_MAX_TOTAL_CORES; /* upto 15 */
for (core = 0; core < CPT_MAX_TOTAL_CORES; core++)