HZ_MAXIMUM
TIME_ASSERT_VALID_HZ(HZ_MAXIMUM);
SYSCTL_INT(_kern, OID_AUTO, hz_max, CTLFLAG_RD, SYSCTL_NULL_INT_PTR, HZ_MAXIMUM,
else if (__predict_false(hz > HZ_MAXIMUM))
hz = HZ_MAXIMUM;