tree 4741d4c4bc5b99c093aac7d9f08b2ed33f683d95
parent c70190368c7040c37c1d655f0690bcde2b109a0d
author Andres Erbsen <andreser@google.com> 1715882115 +0000
committer David Benjamin <davidben@google.com> 1715893248 +0000

use AT&T syntax in fiat_p256_adx

Converted using https://github.com/andres-erbsen/fiat-crypto/commit/86a8bdcc1073fb55c01090ef8df622ea2c901ee1

Change-Id: Ic3b4f5b0f52a21eebd7c597a8caebf7b08c21fe3
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/68527
Reviewed-by: Andres Erbsen <andreser@google.com>
Reviewed-by: Adam Langley <agl@google.com>
Reviewed-by: David Benjamin <davidben@google.com>
Commit-Queue: Adam Langley <agl@google.com>