UATP_MAX_POSITION
palm_width = UATP_MAX_POSITION;
__CTASSERT(0x60000 == (UATP_MAX_SENSORS * UATP_MAX_POSITION));
CHECK_(sum <= UATP_MAX_SENSORS * UATP_MAX_POSITION);
__CTASSERT(0x12000000 == (2 * UATP_MAX_POSITION * UATP_MAX_POSITION));
CHECK_(a <= UATP_MAX_POSITION);
CHECK_(b <= UATP_MAX_POSITION);
CHECK_(old_a_raw <= UATP_MAX_POSITION);
CHECK_(old_b_raw <= UATP_MAX_POSITION);
CHECK_(old_a_smoothed <= UATP_MAX_POSITION);
CHECK_(old_b_smoothed <= UATP_MAX_POSITION);
CHECK_(*a_raw <= UATP_MAX_POSITION);
CHECK_(*b_raw <= UATP_MAX_POSITION);
CHECK_(*a_smoothed <= UATP_MAX_POSITION);
CHECK_(*b_smoothed <= UATP_MAX_POSITION);
if (dist_squared < ((2 * UATP_MAX_POSITION * UATP_MAX_POSITION)
sc->sc_track_distance = (2 * UATP_MAX_POSITION *
UATP_MAX_POSITION);
__CTASSERT(0x477000 == (3 * UATP_MAX_WEIGHT * UATP_MAX_POSITION));
CHECK_(old_raw <= UATP_MAX_POSITION);
CHECK_(old_smoothed <= UATP_MAX_POSITION);
CHECK_(raw <= UATP_MAX_POSITION);
KASSERT(-UATP_MAX_POSITION <= x);
KASSERT(-UATP_MAX_POSITION <= y);
KASSERT(x <= UATP_MAX_POSITION);
KASSERT(y <= UATP_MAX_POSITION);
__CTASSERT(0x12000000 == (2 * UATP_MAX_POSITION * UATP_MAX_POSITION));
(UATP_MAX_POSITION * UATP_MAX_MOTION_MULTIPLIER));
CHECK_(old_raw <= UATP_MAX_POSITION);
CHECK_(raw <= UATP_MAX_POSITION);
CHECK_(old_smoothed <= UATP_MAX_POSITION);
CHECK_(smoothed <= UATP_MAX_POSITION);