FreeBSD manual

No entry for mutex_profiling in section 9 of the manual