static void get_cpu_time_counters(cpu_time_counters_t * counters) { int i; for (i = 0; i < lib_num_loc_cpus; i++) { get_cpu_counters(i, counters); get_interrupt_counters(i, counters); } return; }
void cpu_stop_internal(void) { get_cpu_counters(ending_cpu_counters); }
void cpu_start_internal(void) { get_cpu_counters(starting_cpu_counters); }