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