Searched refs:sysctl_kern_timecounter_get (Results 1 – 1 of 1) sorted by relevance
161 sysctl_kern_timecounter_get(SYSCTL_HANDLER_ARGS) in sysctl_kern_timecounter_get() function1194 sysctl_kern_timecounter_get, "IU", "current timecounter value"); in tc_init()