Searched refs:timer_sysctl_get (Results 1 – 3 of 3) sorted by relevance
166 extern uint64_t timer_sysctl_get(int oid);
1607 timer_sysctl_get(int oid) in timer_sysctl_get() function
3133 extern uint64_t timer_sysctl_get(int);3141 uint64_t value = timer_sysctl_get(oid); in sysctl_timer()