Searched refs:timer_sysctl_get (Results 1 – 3 of 3) sorted by relevance
187 extern uint64_t timer_sysctl_get(int oid);
1532 timer_sysctl_get(int oid) in timer_sysctl_get() function
2860 extern uint64_t timer_sysctl_get(int);2868 uint64_t value = timer_sysctl_get(oid); in sysctl_timer()