833     size_t padding_len = output_len - data_len;  in add_pkcs_padding()  local
836     for (i = 0; i < padding_len; i++) {  in add_pkcs_padding()
837         output[data_len + i] = (unsigned char) padding_len;  in add_pkcs_padding()
845     unsigned char padding_len;  in get_pkcs_padding()  local
851     padding_len = input[input_len - 1];  in get_pkcs_padding()
852     *data_len = input_len - padding_len;  in get_pkcs_padding()
854     mbedtls_ct_condition_t bad = mbedtls_ct_uint_gt(padding_len, input_len);  in get_pkcs_padding()
855     bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));  in get_pkcs_padding()
859     pad_idx = input_len - padding_len;  in get_pkcs_padding()
862         mbedtls_ct_condition_t different  = mbedtls_ct_uint_ne(input[i], padding_len);  in get_pkcs_padding()
877     size_t padding_len = output_len - data_len;  in add_one_and_zeros_padding()  local
881     for (i = 1; i < padding_len; i++) {  in add_one_and_zeros_padding()
921     size_t padding_len = output_len - data_len;  in add_zeros_and_len_padding()  local
924     for (i = 1; i < padding_len; i++) {  in add_zeros_and_len_padding()
927     output[output_len - 1] = (unsigned char) padding_len;  in add_zeros_and_len_padding()
934     unsigned char padding_len;  in get_zeros_and_len_padding()  local
941     padding_len = input[input_len - 1];  in get_zeros_and_len_padding()
942     *data_len = input_len - padding_len;  in get_zeros_and_len_padding()
945     bad = mbedtls_ct_uint_gt(padding_len, input_len);  in get_zeros_and_len_padding()
946     bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));  in get_zeros_and_len_padding()
949     pad_idx = input_len - padding_len;  in get_zeros_and_len_padding()