tree 869e41ff02e47691052f2280ffd54798f912adae
parent 423005ea93dadede87828a75ee211a156e1875e5
author Gilles Peskine <Gilles.Peskine@arm.com> 1557149183 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1557151184 +0200

Always include platform.h for MBEDTLS_ERR_PLATFORM_xxx

Recognize MBEDTLS_ERR_PLATFORM_xxx in mbedtls_to_psa_error().