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     if (padding_len == 0 || padding_len > input_len) {  in get_pkcs_padding()
855     *data_len = input_len - padding_len;  in get_pkcs_padding()
857     mbedtls_ct_condition_t bad = mbedtls_ct_uint_gt(padding_len, input_len);  in get_pkcs_padding()
858     bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));  in get_pkcs_padding()
862     pad_idx = input_len - padding_len;  in get_pkcs_padding()
865         mbedtls_ct_condition_t different  = mbedtls_ct_uint_ne(input[i], padding_len);  in get_pkcs_padding()
880     size_t padding_len = output_len - data_len;  in add_one_and_zeros_padding()  local
884     for (i = 1; i < padding_len; i++) {  in add_one_and_zeros_padding()
924     size_t padding_len = output_len - data_len;  in add_zeros_and_len_padding()  local
927     for (i = 1; i < padding_len; i++) {  in add_zeros_and_len_padding()
930     output[output_len - 1] = (unsigned char) padding_len;  in add_zeros_and_len_padding()
937     unsigned char padding_len;  in get_zeros_and_len_padding()  local
944     padding_len = input[input_len - 1];  in get_zeros_and_len_padding()
945     *data_len = input_len - padding_len;  in get_zeros_and_len_padding()
948     bad = mbedtls_ct_uint_gt(padding_len, input_len);  in get_zeros_and_len_padding()
949     bad = mbedtls_ct_bool_or(bad, mbedtls_ct_uint_eq(padding_len, 0));  in get_zeros_and_len_padding()
952     pad_idx = input_len - padding_len;  in get_zeros_and_len_padding()