diff --git a/third_party/fiat/asm/fiat_curve25519_adx_mul.S b/third_party/fiat/asm/fiat_curve25519_adx_mul.S
index acbac97b89..1d23f3f25f 100644
--- a/third_party/fiat/asm/fiat_curve25519_adx_mul.S
+++ b/third_party/fiat/asm/fiat_curve25519_adx_mul.S
@@ -1,8 +1,11 @@
 .text
 #if defined(__APPLE__)
+.private_extern fiat_curve25519_adx_mul
 .global _fiat_curve25519_adx_mul
 _fiat_curve25519_adx_mul:
 #else
+.type fiat_curve25519_adx_mul, @function
+.hidden fiat_curve25519_adx_mul
 .global fiat_curve25519_adx_mul
 fiat_curve25519_adx_mul:
 #endif
@@ -153,3 +156,6 @@ mov r15, [ rsp - 0x58 ]
 mov rbp, [rsp - 0x08]
 ret
 .cfi_endproc
+#if defined(__ELF__)
+.size fiat_curve25519_adx_mul, .-fiat_curve25519_adx_mul
+#endif
diff --git a/third_party/fiat/asm/fiat_curve25519_adx_square.S b/third_party/fiat/asm/fiat_curve25519_adx_square.S
index 2ba3fd413a..71f9108bc0 100644
--- a/third_party/fiat/asm/fiat_curve25519_adx_square.S
+++ b/third_party/fiat/asm/fiat_curve25519_adx_square.S
@@ -1,8 +1,11 @@
 .text
 #if defined(__APPLE__)
+.private_extern fiat_curve25519_adx_square
 .global _fiat_curve25519_adx_square
 _fiat_curve25519_adx_square:
 #else
+.type fiat_curve25519_adx_square, @function
+.hidden fiat_curve25519_adx_square
 .global fiat_curve25519_adx_square
 fiat_curve25519_adx_square:
 #endif
@@ -121,3 +124,6 @@ mov r15, [ rsp - 0x58 ]
 mov rbp, [rsp - 0x08]
 ret
 .cfi_endproc
+#if defined(__ELF__)
+.size fiat_curve25519_adx_square, .-fiat_curve25519_adx_square
+#endif