StackThreads/MP: version 0.77 User's Guide

3.7: Profiler

@        void st_config_profile_resolution(resolution);
@               int resolution;
@        void st_config_profile_max_intervals(buffer_size);
@               int buffer_size;
@        void st_config_profile_filename_prefix(filename);
@               char * filename;
@        void st_begin_profile();
@        void st_end_profile();

See Performance Profiler for more information.