| osProfileInit | ... | Initializes the profiled segment count buffers |
| osProfileStart | ... | Starts the counter between profilers. |
| osProfileStop | ... | Stops the counter between profilers. |
| osProfileFlush | ... | Transfers profile data to the host. |
| gperf | ... | Analyzes profile data. |