From b8078109202057b58f1b352c3316bbf97dcc3327 Mon Sep 17 00:00:00 2001
From: Tiago Oliveira <tiago.oliveira@sandboxquantum.com>
Date: Thu, 18 Apr 2024 12:28:08 +0100
Subject: [PATCH] fix mlkem768 sct : using
 https://github.com/jasmin-lang/jasmin/pull/785

---
 code/jasmin/mlkem_avx2/indcpa.jinc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/jasmin/mlkem_avx2/indcpa.jinc b/code/jasmin/mlkem_avx2/indcpa.jinc
index 23c6b279..f2323f1b 100644
--- a/code/jasmin/mlkem_avx2/indcpa.jinc
+++ b/code/jasmin/mlkem_avx2/indcpa.jinc
@@ -4,7 +4,7 @@ require "polyvec.jinc"
 require "gen_matrix.jinc"
 
 inline
-fn __indcpa_keypair(reg u64 pkp, reg u64 skp, reg ptr u8[MLKEM_SYMBYTES] randomnessp)
+fn __indcpa_keypair(#spill_to_mmx reg u64 pkp skp, reg ptr u8[MLKEM_SYMBYTES] randomnessp)
 {
   stack u16[MLKEM_K*MLKEM_VECN] aa;
   stack u16[MLKEM_VECN] e pkpv skpv;