193     int *bmax                /*!< hlpNew: last  mandatory border */
201                           INT bmax, INT bufferFrameStart, INT numberTimeSlots,
341   INT numEnv, tranPosInternal = 0, bmin = 0, bmax = 0, parts, d, i_cmon = 0,  in FDKsbrEnc_frameInfoGenerator()  local
490                     length_v_bord, v_freq, length_v_freq, &bmin, &bmax);  in FDKsbrEnc_frameInfoGenerator()
522                       length_v_freq, bmax, bufferFrameStart, numberTimeSlots,  in FDKsbrEnc_frameInfoGenerator()
598                         length_v_freq, bmax, bufferFrameStart, numberTimeSlots,  in FDKsbrEnc_frameInfoGenerator()
835     int *bmax                /*!< hlpNew: last  mandatory border */  in fillFrameTran()  argument
885   *bmax = v_bord[0];  in fillFrameTran()
887     if (v_bord[i] > *bmax) *bmax = v_bord[i];  in fillFrameTran()
1028                           INT bmax, INT bufferFrameStart, INT numberTimeSlots,  in fillFramePost()  argument
1038   rest = bufferFrameStart + 2 * numberTimeSlots - bmax;  in fillFramePost()
1057     bord = bmax;  in fillFramePost()