https://github.com/Mbed-TLS/TF-PSA-Crypto/blob/e5fdb3fe2cc6d8842356e67546b482741ad2388c/utilities/asn1write.c#L457-L463 Maybe could be: `return mbedtls_asn1_write_len_and_tag(p, start, integer_length, MBEDTLS_ASN1_INTEGER);`
TF-PSA-Crypto/utilities/asn1write.c
Lines 457 to 463 in e5fdb3f
Maybe could be:
return mbedtls_asn1_write_len_and_tag(p, start, integer_length, MBEDTLS_ASN1_INTEGER);