tree 20b8653591256f376848f33d6cdd8dda13a795bd
parent 5fe5e2759160a040ae47561d7d26db12e392f07b
author Gilles Peskine <Gilles.Peskine@arm.com> 1565019133 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1565254689 +0200

Rename internal macro to pass check-names.sh

check-names.sh rejects MBEDTLS_XXX identifiers that are not defined in
a public header.