HZ_MINIMUM
TIME_ASSERT_VALID_HZ(HZ_MINIMUM);
SYSCTL_INT(_kern, OID_AUTO, hz_min, CTLFLAG_RD, SYSCTL_NULL_INT_PTR, HZ_MINIMUM,
if (__predict_false(hz < HZ_MINIMUM))
hz = HZ_MINIMUM;