diff --git a/examples/naive/armv7m/keccakf1600_adomnicai_m7.s b/examples/naive/armv7m/keccakf1600_adomnicai_m7.s
index c0c88a9f..20698a54 100644
--- a/examples/naive/armv7m/keccakf1600_adomnicai_m7.s
+++ b/examples/naive/armv7m/keccakf1600_adomnicai_m7.s
@@ -1144,4 +1144,4 @@ KeccakP1600_Permute_Round1Mod4:
     add     sp, #mSize
     pop     { r4 - r12, pc }
 
-.size KeccakP1600_Permute, .-KeccakP1600_Permute
+.size KeccakF1600_StatePermute_adomnicai_m7, .-KeccakF1600_StatePermute_adomnicai_m7
diff --git a/examples/opt/armv7m/keccakf1600_adomnicai_m7_opt_m7.s b/examples/opt/armv7m/keccakf1600_adomnicai_m7_opt_m7.s
index 24fa9a88..121787c7 100644
--- a/examples/opt/armv7m/keccakf1600_adomnicai_m7_opt_m7.s
+++ b/examples/opt/armv7m/keccakf1600_adomnicai_m7_opt_m7.s
@@ -2826,4 +2826,4 @@ KeccakP1600_Permute_Round1Mod4:
     add     sp, #mSize
     pop     { r4 - r12, pc }
 
-.size KeccakP1600_Permute, .-KeccakP1600_Permute
+.size KeccakF1600_StatePermute_adomnicai_m7_opt_m7, .-KeccakF1600_StatePermute_adomnicai_m7_opt_m7