Searched refs:sysctl_kern_timecounter_hardware (Results 1 – 1 of 1) sorted by relevance
1498 sysctl_kern_timecounter_hardware(SYSCTL_HANDLER_ARGS) in sysctl_kern_timecounter_hardware() function1544 sysctl_kern_timecounter_hardware, "A",