236     void ** objects = (void**)calloc(num_tools_registered, sizeof(void*));  in ps_timer_create_()  local
238     for (i = 0 ; i < num_tools_registered ; i++) objects[i] = timer_create_functions[i](timer_name);  in ps_timer_create_()
239     return (void*)(objects);  in ps_timer_create_()
245 void ps_timer_destroy_(void *objects) {  in ps_timer_destroy_()  argument
247     free(objects);  in ps_timer_destroy_()
259     void ** objects = (void**)(timer);  in ps_timer_start_()  local
261     for (i = 0; i < num_tools_registered ; i++) timer_start_functions[i](objects[i]);  in ps_timer_start_()
273     void ** objects = (void**)(timer);  in ps_timer_stop_()  local
275     for (i = 0; i < num_tools_registered ; i++) timer_stop_functions[i](objects[i]);  in ps_timer_stop_()
308     void ** objects = (void**)calloc(num_tools_registered, sizeof(void*));  in ps_create_counter_()  local
310     for (i = 0 ; i < num_tools_registered ; i++) objects[i] = create_counter_functions[i](name);  in ps_create_counter_()
311     return (void*)(objects);  in ps_create_counter_()
325     void ** objects = (void**)(counter);  in ps_sample_counter_()  local
327     for (i = 0; i < num_tools_registered ; i++) sample_counter_functions[i](objects[i], value);  in ps_sample_counter_()