873     size_t padding_len = output_len - data_len;  in add_pkcs_padding()  local
876     for (i = 0; i < padding_len; i++) {  in add_pkcs_padding()
877         output[data_len + i] = (unsigned char) padding_len;  in add_pkcs_padding()
891     unsigned char padding_len;  in mbedtls_get_pkcs_padding()  local
897     padding_len = input[input_len - 1];  in mbedtls_get_pkcs_padding()
899     mbedtls_ct_condition_t bad = mbedtls_ct_uint_gt(padding_len, input_len);  in mbedtls_get_pkcs_padding()
900     bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));  in mbedtls_get_pkcs_padding()
904     pad_idx = input_len - padding_len;  in mbedtls_get_pkcs_padding()
907         mbedtls_ct_condition_t different  = mbedtls_ct_uint_ne(input[i], padding_len);  in mbedtls_get_pkcs_padding()
912     *data_len = mbedtls_ct_if(bad, 0, input_len - padding_len);  in mbedtls_get_pkcs_padding()
925     size_t padding_len = output_len - data_len;  in add_one_and_zeros_padding()  local
929     for (i = 1; i < padding_len; i++) {  in add_one_and_zeros_padding()
969     size_t padding_len = output_len - data_len;  in add_zeros_and_len_padding()  local
972     for (i = 1; i < padding_len; i++) {  in add_zeros_and_len_padding()
975     output[output_len - 1] = (unsigned char) padding_len;  in add_zeros_and_len_padding()
982     unsigned char padding_len;  in get_zeros_and_len_padding()  local
989     padding_len = input[input_len - 1];  in get_zeros_and_len_padding()
990     *data_len = input_len - padding_len;  in get_zeros_and_len_padding()
993     bad = mbedtls_ct_uint_gt(padding_len, input_len);  in get_zeros_and_len_padding()
994     bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));  in get_zeros_and_len_padding()
997     pad_idx = input_len - padding_len;  in get_zeros_and_len_padding()