cpu_get_active_time
bigtime_t cpu_get_active_time(int32 cpu);
localInfo[localIdx].active_time = cpu_get_active_time(cpuIdx);