Symbol: dtrace_options_numtohz