#include <stdapis/sys/time.h>
Getkerninfo clock information structure
clock frequency
profiling clock frequency
current value
statistics clock frequency
micro-seconds per hz tick