sysctl_gettimeofday_quick
0, 0, sysctl_gettimeofday_quick, "I", "Quick mode gettimeofday");
static int sysctl_gettimeofday_quick(SYSCTL_HANDLER_ARGS);