src/sys/modules/tprof_pmi
