DCMD_PROF_*

This chapter describes the devctl() commands that apply to the profiler.