Rename INLINE to MLK_INLINE for new functions here.

Signed-off-by: Rod Chapman <rodchap@amazon.com>

mlkem/poly.c

@@ -334,13 +334,15 @@ void poly_mulcache_compute(poly_mulcache *x, const poly *a)
 /* indexed by coeff1_index and coeff2_index, and the    */
 /* given value of zeta.                                 */
 /*                                                      */
-/* NOTE that this function is marked INLINE for         */
+/* NOTE that this function is marked MLK_INLINE for     */
 /* compilation (for efficiency) and does not have       */
 /* contracts, so it is "inlined for proof" by CBMC      */
 /* This allows CBMC to keep track of the ranges of the  */
 /* modified coefficients in the calling functions.      */
-static INLINE void ct_butterfly(int16_t r[MLKEM_N], const unsigned coeff1_index,
-                                const unsigned coeff2_index, const int16_t zeta)
+static MLK_INLINE void ct_butterfly(int16_t r[MLKEM_N],
+                                    const unsigned coeff1_index,
+                                    const unsigned coeff2_index,
+                                    const int16_t zeta)
 {
   int16_t t1 = r[coeff1_index];
   int16_t t2 = fqmul(r[coeff2_index], zeta);
@@ -411,9 +413,9 @@ __contract__(
   }
 }
 
-static INLINE void ntt_layer45_butterfly(int16_t r[MLKEM_N],
-                                         const unsigned zeta_subtree_index,
-                                         const unsigned start)
+static MLK_INLINE void ntt_layer45_butterfly(int16_t r[MLKEM_N],
+                                             const unsigned zeta_subtree_index,
+                                             const unsigned start)
 __contract__(
   requires(memory_no_alias(r, sizeof(int16_t) * MLKEM_N))
   requires(zeta_subtree_index <= 7)
@@ -622,10 +624,10 @@ void poly_ntt(poly *p)
 /*                                                      */
 /* Like ct_butterfly(), this functions is inlined       */
 /* for both compilation and proof.                      */
-static INLINE void gs_butterfly_reduce(int16_t r[MLKEM_N],
-                                       const unsigned coeff1_index,
-                                       const unsigned coeff2_index,
-                                       const int16_t zeta)
+static MLK_INLINE void gs_butterfly_reduce(int16_t r[MLKEM_N],
+                                           const unsigned coeff1_index,
+                                           const unsigned coeff2_index,
+                                           const int16_t zeta)
 {
   const int16_t t1 = r[coeff1_index];
   const int16_t t2 = r[coeff2_index];
@@ -635,10 +637,10 @@ static INLINE void gs_butterfly_reduce(int16_t r[MLKEM_N],
 
 /* As gs_butterfly_reduce(), but does not reduce the */
 /* coefficient denoted by coeff1_index               */
-static INLINE void gs_butterfly_defer(int16_t r[MLKEM_N],
-                                      const unsigned coeff1_index,
-                                      const unsigned coeff2_index,
-                                      const int16_t zeta)
+static MLK_INLINE void gs_butterfly_defer(int16_t r[MLKEM_N],
+                                          const unsigned coeff1_index,
+                                          const unsigned coeff2_index,
+                                          const int16_t zeta)
 {
   const int16_t t1 = r[coeff1_index];
   const int16_t t2 = r[coeff2_index];
@@ -715,9 +717,9 @@ __contract__(
 }
 
 
-static INLINE void invntt_layer54_butterfly(int16_t r[MLKEM_N],
-                                            const unsigned zeta_index,
-                                            const unsigned start)
+static MLK_INLINE void invntt_layer54_butterfly(int16_t r[MLKEM_N],
+                                                const unsigned zeta_index,
+                                                const unsigned start)
 __contract__(
   requires(memory_no_alias(r, sizeof(int16_t) * MLKEM_N))
   requires(zeta_index <= 7)