diff options
Diffstat (limited to 'poly1305-hacl128.c')
| -rw-r--r-- | poly1305-hacl128.c | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/poly1305-hacl128.c b/poly1305-hacl128.c index 7248181..54ec820 100644 --- a/poly1305-hacl128.c +++ b/poly1305-hacl128.c @@ -33,7 +33,7 @@ __always_inline static uint64_t FStar_UInt64_gte_mask(uint64_t a, uint64_t b) uint32_t Hacl_Poly1305_128_blocklen = (uint32_t)16U; -void Hacl_Poly1305_128_poly1305_init(Lib_IntVector_Intrinsics_vec128 *ctx, uint8_t *key) +static void Hacl_Poly1305_128_poly1305_init(Lib_IntVector_Intrinsics_vec128 *ctx, uint8_t *key) { Lib_IntVector_Intrinsics_vec128 *acc = ctx; Lib_IntVector_Intrinsics_vec128 *pre = ctx + (uint32_t)5U; @@ -265,7 +265,7 @@ void Hacl_Poly1305_128_poly1305_init(Lib_IntVector_Intrinsics_vec128 *ctx, uint8 rn_5[4U] = Lib_IntVector_Intrinsics_vec128_smul64(f24, (uint64_t)5U); } -inline void +static inline void Hacl_Poly1305_128_poly1305_update( Lib_IntVector_Intrinsics_vec128 *ctx, uint32_t len1, @@ -1319,7 +1319,7 @@ Hacl_Poly1305_128_poly1305_update( } } -void +static void Hacl_Poly1305_128_poly1305_update_blocks( Lib_IntVector_Intrinsics_vec128 *ctx, uint32_t len1, @@ -1329,14 +1329,17 @@ Hacl_Poly1305_128_poly1305_update_blocks( Hacl_Poly1305_128_poly1305_update(ctx, len1, text); } -void -(*Hacl_Poly1305_128_poly1305_update_padded)( +static void +Hacl_Poly1305_128_poly1305_update_padded( Lib_IntVector_Intrinsics_vec128 *x0, uint32_t x1, uint8_t *x2 -) = Hacl_Poly1305_128_poly1305_update; +) +{ + Hacl_Poly1305_128_poly1305_update(x0, x1, x2); +} -void +static void Hacl_Poly1305_128_poly1305_update_last( Lib_IntVector_Intrinsics_vec128 *ctx, uint32_t len1, @@ -1346,7 +1349,7 @@ Hacl_Poly1305_128_poly1305_update_last( Hacl_Poly1305_128_poly1305_update(ctx, len1, text); } -void +static void Hacl_Poly1305_128_poly1305_finish( uint8_t *tag, uint8_t *key, |