cr50: move bn dcrypto microcode into dcrypto_bn.inc

To simplify code analysis, move dcrypto's blob into dcrypto_bn.inc
similar to p256 code in dcrypto_p256.inc.

BUG=none
TEST=make BOARD=cr50 CRYPTO_TEST=1; test/tpm_test/tpmtest.py

Signed-off-by: Vadim Sukhomlinov <sukhomlinov@google.com>
Change-Id: I2ae3a0793bd829c15844d55061952a69a412e2e9
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/ec/+/3210226
Reviewed-by: Vadim Sukhomlinov <sukhomlinov@chromium.org>
Reviewed-by: Vadim Bendebury <vbendeb@chromium.org>
Reviewed-by: Andrey Pronin <apronin@chromium.org>
Tested-by: Vadim Sukhomlinov <sukhomlinov@chromium.org>
Commit-Queue: Vadim Sukhomlinov <sukhomlinov@chromium.org>

2 files changed, 1102 insertions, 1102 deletions

diff --git a/board/cr50/dcrypto/dcrypto_bn.c b/board/cr50/dcrypto/dcrypto_bn.c
index 9679b8b238..a8a8a9765d 100644
--- a/board/cr50/dcrypto/dcrypto_bn.c
+++ b/board/cr50/dcrypto/dcrypto_bn.c
@@ -7,1108 +7,7 @@
 #include "registers.h"
 
 /* Firmware blob for crypto accelerator */
-
-/* AUTO-GENERATED.  DO NOT MODIFY. */
-/* clang-format off */
-static const uint32_t IMEM_dcrypto_bn[] = {
-/* @0x0: function tag[1] { */
-#define CF_tag_adr 0
-0xf8000001,	/* sigini #1 */
-/* } */
-/* @0x1: function d0inv[14] { */
-#define CF_d0inv_adr 1
-0x4c000000,	/* xor r0, r0, r0 */
-0x80000001,	/* movi r0.0l, #1 */
-0x7c740000,	/* mov r29, r0 */
-0x05100008,	/* loop #256 ( */
-0x5807bc00,	/* mul128 r1, r28l, r29l */
-0x588bbc00,	/* mul128 r2, r28u, r29l */
-0x50044110,	/* add r1, r1, r2 << 128 */
-0x590bbc00,	/* mul128 r2, r28l, r29u */
-0x50044110,	/* add r1, r1, r2 << 128 */
-0x40040100,	/* and r1, r1, r0 */
-0x44743d00,	/* or r29, r29, r1 */
-0x50000000,	/* add r0, r0, r0 */
-/*		   ) */
-0x5477bf00,	/* sub r29, r31, r29 */
-0x0c000000,	/* ret */
-/* } */
-/* @0xf: function selcxSub[25] { */
-#define CF_selcxSub_adr 15
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x99100000,	/* strnd r4 */
-0x5013e400,	/* add r4, r4, r31 */
-0x1000101e,	/* bl selcxSub_invsel */
-0x528c8402,	/* addcx r3, r4, r4 << 16 */
-0x0600c007,	/* loop *6 ( */
-0x8c081800,	/* ld *2, *0++ */
-0x7c8c0000,	/* ldr *3, *0 */
-0x7c800400,	/* ldr *0, *4 */
-0x54906200,	/* subb r4, r2, r3 */
-0x990c0000,	/* strnd r3 */
-0x660c4401,	/* sellx r3, r4, r2 */
-0x7ca00200,	/* ldr *0++, *2 */
-/*		   ) */
-0x0c000000,	/* ret */
-/*selcxSub_invsel: */
-0x528c8402,	/* addcx r3, r4, r4 << 16 */
-0x0600c007,	/* loop *6 ( */
-0x8c081800,	/* ld *2, *0++ */
-0x7c8c0000,	/* ldr *3, *0 */
-0x7c800400,	/* ldr *0, *4 */
-0x54906200,	/* subb r4, r2, r3 */
-0x990c0000,	/* strnd r3 */
-0x660c8201,	/* sellx r3, r2, r4 */
-0x7ca00200,	/* ldr *0++, *2 */
-/*		   ) */
-0x0c000000,	/* ret */
-/* } */
-/* @0x28: function computeRR[41] { */
-#define CF_computeRR_adr 40
-0x4c7fff00,	/* xor r31, r31, r31 */
-0x84004000,	/* ldi r0, [#0] */
-0x95800000,	/* lddmp r0 */
-0x4c0c6300,	/* xor r3, r3, r3 */
-0x800cffff,	/* movi r3.0l, #65535 */
-0x40040398,	/* and r1, r3, r0 >> 192 */
-0x480c6000,	/* not r3, r3 */
-0x400c0300,	/* and r3, r3, r0 */
-0x500c2301,	/* add r3, r3, r1 << 8 */
-0x94800300,	/* ldlc r3 */
-0x80040005,	/* movi r1.0l, #5 */
-0x81040003,	/* movi r1.2l, #3 */
-0x81840002,	/* movi r1.3l, #2 */
-0x82040004,	/* movi r1.4l, #4 */
-0x97800100,	/* ldrfp r1 */
-0x4c0c6300,	/* xor r3, r3, r3 */
-0x0600c001,	/* loop *6 ( */
-0x7ca00200,	/* ldr *0++, *2 */
-/*		   ) */
-0x560c1f00,	/* subx r3, r31, r0 */
-0x0800000f,	/* call &selcxSub */
-0x06000010,	/* loop *0 ( */
-0x97800100,	/* ldrfp r1 */
-0x560c6300,	/* subx r3, r3, r3 */
-0x0600c003,	/* loop *6 ( */
-0x7c8c0000,	/* ldr *3, *0 */
-0x52884200,	/* addcx r2, r2, r2 */
-0x7ca00300,	/* ldr *0++, *3 */
-/*		   ) */
-0x0800000f,	/* call &selcxSub */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x560c6300,	/* subx r3, r3, r3 */
-0x0600c003,	/* loop *6 ( */
-0x8c081800,	/* ld *2, *0++ */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x5e804300,	/* cmpbx r3, r2 */
-/*		   ) */
-0x0800000f,	/* call &selcxSub */
-0xfc000000,	/* nop */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x0600c001,	/* loop *6 ( */
-0x90680800,	/* st *0++, *2++ */
-/*		   ) */
-0x0c000000,	/* ret */
-/* } */
-/* @0x51: function dmXd0[9] { */
-#define CF_dmXd0_adr 81
-0x586f3e00,	/* mul128 r27, r30l, r25l */
-0x59eb3e00,	/* mul128 r26, r30u, r25u */
-0x58df3e00,	/* mul128 r23, r30u, r25l */
-0x506efb10,	/* add r27, r27, r23 << 128 */
-0x50eafa90,	/* addc r26, r26, r23 >> 128 */
-0x595f3e00,	/* mul128 r23, r30l, r25u */
-0x506efb10,	/* add r27, r27, r23 << 128 */
-0x50eafa90,	/* addc r26, r26, r23 >> 128 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x5a: function dmXa[9] { */
-#define CF_dmXa_adr 90
-0x586c5e00,	/* mul128 r27, r30l, r2l */
-0x59e85e00,	/* mul128 r26, r30u, r2u */
-0x58dc5e00,	/* mul128 r23, r30u, r2l */
-0x506efb10,	/* add r27, r27, r23 << 128 */
-0x50eafa90,	/* addc r26, r26, r23 >> 128 */
-0x595c5e00,	/* mul128 r23, r30l, r2u */
-0x506efb10,	/* add r27, r27, r23 << 128 */
-0x50eafa90,	/* addc r26, r26, r23 >> 128 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x63: function mma_sub_cx[23] { */
-#define CF_mma_sub_cx_adr 99
-0x99700000,	/* strnd r28 */
-0x5073fc00,	/* add r28, r28, r31 */
-0x10001070,	/* bl mma_invsel */
-0x52f39c02,	/* addcx r28, r28, r28 << 16 */
-0x0600c007,	/* loop *6 ( */
-0x8c141800,	/* ld *5, *0++ */
-0x7c900000,	/* ldr *4, *0 */
-0x54f71e00,	/* subb r29, r30, r24 */
-0x99600000,	/* strnd r24 */
-0x7c800500,	/* ldr *0, *5 */
-0x6663dd01,	/* sellx r24, r29, r30 */
-0x7ca00500,	/* ldr *0++, *5 */
-/*		   ) */
-0x0c000000,	/* ret */
-/*mma_invsel: */
-0x52f39c02,	/* addcx r28, r28, r28 << 16 */
-0x0600c007,	/* loop *6 ( */
-0x8c141800,	/* ld *5, *0++ */
-0x7c900000,	/* ldr *4, *0 */
-0x54f71e00,	/* subb r29, r30, r24 */
-0x99600000,	/* strnd r24 */
-0x7c800500,	/* ldr *0, *5 */
-0x6663be01,	/* sellx r24, r30, r29 */
-0x7ca00500,	/* ldr *0++, *5 */
-/*		   ) */
-0x0c000000,	/* ret */
-/* } */
-/* @0x7a: function mma[39] { */
-#define CF_mma_adr 122
-0x8204001e,	/* movi r1.4l, #30 */
-0x82840018,	/* movi r1.5l, #24 */
-0x97800100,	/* ldrfp r1 */
-0x8c101b00,	/* ld *4, *3++ */
-0x0800005a,	/* call &dmXa */
-0x7c940800,	/* ldr *5, *0++ */
-0x507b1b00,	/* add r30, r27, r24 */
-0x50f7fa00,	/* addc r29, r26, r31 */
-0x7c640300,	/* mov r25, r3 */
-0x08000051,	/* call &dmXd0 */
-0x7c641b00,	/* mov r25, r27 */
-0x7c701a00,	/* mov r28, r26 */
-0x7c601e00,	/* mov r24, r30 */
-0x8c101800,	/* ld *4, *0++ */
-0x08000051,	/* call &dmXd0 */
-0x506f1b00,	/* add r27, r27, r24 */
-0x50f3fa00,	/* addc r28, r26, r31 */
-0x0600e00e,	/* loop *7 ( */
-0x8c101b00,	/* ld *4, *3++ */
-0x0800005a,	/* call &dmXa */
-0x7c940800,	/* ldr *5, *0++ */
-0x506f1b00,	/* add r27, r27, r24 */
-0x50ebfa00,	/* addc r26, r26, r31 */
-0x5063bb00,	/* add r24, r27, r29 */
-0x50f7fa00,	/* addc r29, r26, r31 */
-0x8c101800,	/* ld *4, *0++ */
-0x08000051,	/* call &dmXd0 */
-0x506f1b00,	/* add r27, r27, r24 */
-0x50ebfa00,	/* addc r26, r26, r31 */
-0x52639b00,	/* addx r24, r27, r28 */
-0x7ca80500,	/* ldr *2++, *5 */
-0x52f3fa00,	/* addcx r28, r26, r31 */
-/*		   ) */
-0x52e39d00,	/* addcx r24, r29, r28 */
-0x7ca80500,	/* ldr *2++, *5 */
-0x95800000,	/* lddmp r0 */
-0x97800100,	/* ldrfp r1 */
-0x08000063,	/* call &mma_sub_cx */
-0xfc000000,	/* nop */
-0x0c000000,	/* ret */
-/* } */
-/* @0xa1: function setupPtrs[11] { */
-#define CF_setupPtrs_adr 161
-0x847c4000,	/* ldi r31, [#0] */
-0x4c7fff00,	/* xor r31, r31, r31 */
-0x95800000,	/* lddmp r0 */
-0x94800000,	/* ldlc r0 */
-0x7c041f00,	/* mov r1, r31 */
-0x80040004,	/* movi r1.0l, #4 */
-0x80840003,	/* movi r1.1l, #3 */
-0x81040004,	/* movi r1.2l, #4 */
-0x81840002,	/* movi r1.3l, #2 */
-0x97800100,	/* ldrfp r1 */
-0x0c000000,	/* ret */
-/* } */
-/* @0xac: function mulx[19] { */
-#define CF_mulx_adr 172
-0x84004000,	/* ldi r0, [#0] */
-0x080000a1,	/* call &setupPtrs */
-0x8c041100,	/* ld *1, *1 */
-0x7c081f00,	/* mov r2, r31 */
-0x0600c001,	/* loop *6 ( */
-0x7ca80300,	/* ldr *2++, *3 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x0600c004,	/* loop *6 ( */
-0x8c0c1c00,	/* ld *3, *4++ */
-0x95000000,	/* stdmp r0 */
-0x0800007a,	/* call &mma */
-0x95800000,	/* lddmp r0 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x0600c001,	/* loop *6 ( */
-0x90740800,	/* st *0++, *5++ */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x0c000000,	/* ret */
-/* } */
-/* @0xbf: function mm1_sub_cx[22] { */
-#define CF_mm1_sub_cx_adr 191
-0x990c0000,	/* strnd r3 */
-0x500fe300,	/* add r3, r3, r31 */
-0x100010cc,	/* bl mm1_invsel */
-0x528c6302,	/* addcx r3, r3, r3 << 16 */
-0x0600c006,	/* loop *6 ( */
-0x8c041800,	/* ld *1, *0++ */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x548c6200,	/* subb r3, r2, r3 */
-0x66084301,	/* sellx r2, r3, r2 */
-0x90740300,	/* st *3, *5++ */
-0xfc000000,	/* nop */
-/*		   ) */
-0x0c000000,	/* ret */
-0xfc000000,	/* nop */
-/*mm1_invsel: */
-0x528c6302,	/* addcx r3, r3, r3 << 16 */
-0x0600c006,	/* loop *6 ( */
-0x8c041800,	/* ld *1, *0++ */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x548c6200,	/* subb r3, r2, r3 */
-0x66086201,	/* sellx r2, r2, r3 */
-0x90740300,	/* st *3, *5++ */
-0xfc000000,	/* nop */
-/*		   ) */
-0x0c000000,	/* ret */
-/* } */
-/* @0xd5: function mul1_exp[23] { */
-#define CF_mul1_exp_adr 213
-0x8c041100,	/* ld *1, *1 */
-0x7c081f00,	/* mov r2, r31 */
-0x0600c001,	/* loop *6 ( */
-0x7ca80300,	/* ldr *2++, *3 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x80080001,	/* movi r2.0l, #1 */
-0x0600c003,	/* loop *6 ( */
-0x95800000,	/* lddmp r0 */
-0x0800007a,	/* call &mma */
-0x7c081f00,	/* mov r2, r31 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x56084200,	/* subx r2, r2, r2 */
-0x0600c003,	/* loop *6 ( */
-0x8c041800,	/* ld *1, *0++ */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x5e804300,	/* cmpbx r3, r2 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x080000bf,	/* call &mm1_sub_cx */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x0c000000,	/* ret */
-/* } */
-/* @0xec: function mul1[4] { */
-#define CF_mul1_adr 236
-0x84004000,	/* ldi r0, [#0] */
-0x080000a1,	/* call &setupPtrs */
-0x080000d5,	/* call &mul1_exp */
-0x0c000000,	/* ret */
-/* } */
-/* @0xf0: function sqrx_exp[19] { */
-#define CF_sqrx_exp_adr 240
-0x84004020,	/* ldi r0, [#1] */
-0x95800000,	/* lddmp r0 */
-0x8c041100,	/* ld *1, *1 */
-0x7c081f00,	/* mov r2, r31 */
-0x0600c001,	/* loop *6 ( */
-0x7ca80300,	/* ldr *2++, *3 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x0600c004,	/* loop *6 ( */
-0x8c0c1c00,	/* ld *3, *4++ */
-0x95000000,	/* stdmp r0 */
-0x0800007a,	/* call &mma */
-0x95800000,	/* lddmp r0 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x0600c001,	/* loop *6 ( */
-0x90740800,	/* st *0++, *5++ */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x95800000,	/* lddmp r0 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x103: function mulx_exp[14] { */
-#define CF_mulx_exp_adr 259
-0x84004040,	/* ldi r0, [#2] */
-0x95800000,	/* lddmp r0 */
-0x8c041100,	/* ld *1, *1 */
-0x7c081f00,	/* mov r2, r31 */
-0x0600c001,	/* loop *6 ( */
-0x7ca80300,	/* ldr *2++, *3 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x0600c004,	/* loop *6 ( */
-0x8c0c1c00,	/* ld *3, *4++ */
-0x95000000,	/* stdmp r0 */
-0x0800007a,	/* call &mma */
-0x95800000,	/* lddmp r0 */
-/*		   ) */
-0x97800100,	/* ldrfp r1 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x111: function selOutOrC[30] { */
-#define CF_selOutOrC_adr 273
-0x990c0000,	/* strnd r3 */
-0x440c6300,	/* or r3, r3, r3 */
-0x10001122,	/* bl selOutOrC_invsel */
-0x508c6302,	/* addc r3, r3, r3 << 16 */
-0x0600c00a,	/* loop *6 ( */
-0x990c0000,	/* strnd r3 */
-0x99080000,	/* strnd r2 */
-0x8c041500,	/* ld *1, *5 */
-0x90540300,	/* st *3, *5 */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x99000000,	/* strnd r0 */
-0x7c000200,	/* mov r0, r2 */
-0x99080000,	/* strnd r2 */
-0x64086001,	/* sell r2, r0, r3 */
-0x90740300,	/* st *3, *5++ */
-/*		   ) */
-0x0c000000,	/* ret */
-0xfc000000,	/* nop */
-/*selOutOrC_invsel: */
-0x508c6302,	/* addc r3, r3, r3 << 16 */
-0x0600c00a,	/* loop *6 ( */
-0x990c0000,	/* strnd r3 */
-0x99080000,	/* strnd r2 */
-0x8c041500,	/* ld *1, *5 */
-0x90540300,	/* st *3, *5 */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x99000000,	/* strnd r0 */
-0x7c000200,	/* mov r0, r2 */
-0x99080000,	/* strnd r2 */
-0x64080301,	/* sell r2, r3, r0 */
-0x90740300,	/* st *3, *5++ */
-/*		   ) */
-0x0c000000,	/* ret */
-/* } */
-/* @0x12f: function modexp[35] { */
-#define CF_modexp_adr 303
-0x080000ac,	/* call &mulx */
-0x84004060,	/* ldi r0, [#3] */
-0x95800000,	/* lddmp r0 */
-0x54084200,	/* sub r2, r2, r2 */
-0x0600c004,	/* loop *6 ( */
-0xfc000000,	/* nop */
-0x8c0c1800,	/* ld *3, *0++ */
-0x54885f00,	/* subb r2, r31, r2 */
-0x90740300,	/* st *3, *5++ */
-/*		   ) */
-0xfc000000,	/* nop */
-0x7c081f00,	/* mov r2, r31 */
-0x8008ffff,	/* movi r2.0l, #65535 */
-0x400c0298,	/* and r3, r2, r0 >> 192 */
-0x48084000,	/* not r2, r2 */
-0x40080200,	/* and r2, r2, r0 */
-0x50086201,	/* add r2, r2, r3 << 8 */
-0x94800200,	/* ldlc r2 */
-0x0600000d,	/* loop *0 ( */
-0x080000f0,	/* call &sqrx_exp */
-0x08000103,	/* call &mulx_exp */
-0x84004060,	/* ldi r0, [#3] */
-0x95800000,	/* lddmp r0 */
-0x99080000,	/* strnd r2 */
-0x50084200,	/* add r2, r2, r2 */
-0x0600c004,	/* loop *6 ( */
-0x99080000,	/* strnd r2 */
-0x8c0c1400,	/* ld *3, *4 */
-0x50884200,	/* addc r2, r2, r2 */
-0x90700300,	/* st *3, *4++ */
-/*		   ) */
-0x08000111,	/* call &selOutOrC */
-0xfc000000,	/* nop */
-/*		   ) */
-0x84004060,	/* ldi r0, [#3] */
-0x95800000,	/* lddmp r0 */
-0x080000d5,	/* call &mul1_exp */
-0x0c000000,	/* ret */
-/* } */
-/* @0x152: function modexp_blinded[76] { */
-#define CF_modexp_blinded_adr 338
-0x080000ac,	/* call &mulx */
-0x84004060,	/* ldi r0, [#3] */
-0x95800000,	/* lddmp r0 */
-0x54084200,	/* sub r2, r2, r2 */
-0x0600c004,	/* loop *6 ( */
-0xfc000000,	/* nop */
-0x8c0c1800,	/* ld *3, *0++ */
-0x54885f00,	/* subb r2, r31, r2 */
-0x90740300,	/* st *3, *5++ */
-/*		   ) */
-0xfc000000,	/* nop */
-0x8c0c1900,	/* ld *3, *1++ */
-0x8c0c1100,	/* ld *3, *1 */
-0x521c5f90,	/* addx r7, r31, r2 >> 128 */
-0x590c4200,	/* mul128 r3, r2l, r2u */
-0x7c181f00,	/* mov r6, r31 */
-0x0600c011,	/* loop *6 ( */
-0x99080000,	/* strnd r2 */
-0x8c0c1400,	/* ld *3, *4 */
-0x58106200,	/* mul128 r4, r2l, r3l */
-0x59946200,	/* mul128 r5, r2u, r3u */
-0x58806200,	/* mul128 r0, r2u, r3l */
-0x50100410,	/* add r4, r4, r0 << 128 */
-0x50940590,	/* addc r5, r5, r0 >> 128 */
-0x59006200,	/* mul128 r0, r2l, r3u */
-0x50100410,	/* add r4, r4, r0 << 128 */
-0x50940590,	/* addc r5, r5, r0 >> 128 */
-0x5010c400,	/* add r4, r4, r6 */
-0x5097e500,	/* addc r5, r5, r31 */
-0x50088200,	/* add r2, r2, r4 */
-0x509be500,	/* addc r6, r5, r31 */
-0x5688e200,	/* subbx r2, r2, r7 */
-0x90700300,	/* st *3, *4++ */
-0x541ce700,	/* sub r7, r7, r7 */
-/*		   ) */
-0x7c080600,	/* mov r2, r6 */
-0x5688e200,	/* subbx r2, r2, r7 */
-0x90500300,	/* st *3, *4 */
-0xfc000000,	/* nop */
-0x84004060,	/* ldi r0, [#3] */
-0x7c081f00,	/* mov r2, r31 */
-0x8008ffff,	/* movi r2.0l, #65535 */
-0x400c0298,	/* and r3, r2, r0 >> 192 */
-0x48084000,	/* not r2, r2 */
-0x40080200,	/* and r2, r2, r0 */
-0x510c0301,	/* addi r3, r3, #1 */
-0x50086201,	/* add r2, r2, r3 << 8 */
-0x94800200,	/* ldlc r2 */
-0x06000019,	/* loop *0 ( */
-0x080000f0,	/* call &sqrx_exp */
-0x08000103,	/* call &mulx_exp */
-0x84004060,	/* ldi r0, [#3] */
-0x95800000,	/* lddmp r0 */
-0x99080000,	/* strnd r2 */
-0x54084200,	/* sub r2, r2, r2 */
-0x0600c004,	/* loop *6 ( */
-0x99080000,	/* strnd r2 */
-0x8c0c1400,	/* ld *3, *4 */
-0x50884200,	/* addc r2, r2, r2 */
-0x90700300,	/* st *3, *4++ */
-/*		   ) */
-0x99080000,	/* strnd r2 */
-0x8c0c1400,	/* ld *3, *4 */
-0x50884200,	/* addc r2, r2, r2 */
-0x90700300,	/* st *3, *4++ */
-0x0600c008,	/* loop *6 ( */
-0x99080000,	/* strnd r2 */
-0x8c041500,	/* ld *1, *5 */
-0x90540300,	/* st *3, *5 */
-0x7c8c0800,	/* ldr *3, *0++ */
-0x7c000200,	/* mov r0, r2 */
-0x99080000,	/* strnd r2 */
-0x64086008,	/* selc r2, r0, r3 */
-0x90740300,	/* st *3, *5++ */
-/*		   ) */
-0xfc000000,	/* nop */
-/*		   ) */
-0x84004060,	/* ldi r0, [#3] */
-0x95800000,	/* lddmp r0 */
-0x080000d5,	/* call &mul1_exp */
-0x0c000000,	/* ret */
-/* } */
-/* @0x19e: function modload[12] { */
-#define CF_modload_adr 414
-0x4c7fff00,	/* xor r31, r31, r31 */
-0x84004000,	/* ldi r0, [#0] */
-0x95800000,	/* lddmp r0 */
-0x94800000,	/* ldlc r0 */
-0x8000001c,	/* movi r0.0l, #28 */
-0x8080001d,	/* movi r0.1l, #29 */
-0x97800000,	/* ldrfp r0 */
-0x8c001000,	/* ld *0, *0 */
-0x08000001,	/* call &d0inv */
-0x90440100,	/* st *1, *1 */
-0x08000028,	/* call &computeRR */
-0x0c000000,	/* ret */
-/* } */
-#ifdef CONFIG_DCRYPTO_RSA_SPEEDUP
-/* @0x1aa: function selA0orC4[16] { */
-#define CF_selA0orC4_adr 426
-0x99000000,	/* strnd r0 */
-0x44000000,	/* or r0, r0, r0 */
-0x100011b4,	/* bl selA0orC4_invsel */
-0x50840002,	/* addc r1, r0, r0 << 16 */
-0x6458da01,	/* sell r22, r26, r6 */
-0x645cfb01,	/* sell r23, r27, r7 */
-0x64611c01,	/* sell r24, r28, r8 */
-0x64653d01,	/* sell r25, r29, r9 */
-0x0c000000,	/* ret */
-0xfc000000,	/* nop */
-/*selA0orC4_invsel: */
-0x50840002,	/* addc r1, r0, r0 << 16 */
-0x645b4601,	/* sell r22, r6, r26 */
-0x645f6701,	/* sell r23, r7, r27 */
-0x64638801,	/* sell r24, r8, r28 */
-0x6467a901,	/* sell r25, r9, r29 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x1ba: function mul4[169] { */
-#define CF_mul4_adr 442
-0x58594600,	/* mul128 r22, r6l, r10l */
-0x59dd4600,	/* mul128 r23, r6u, r10u */
-0x58894600,	/* mul128 r2, r6u, r10l */
-0x50585610,	/* add r22, r22, r2 << 128 */
-0x50dc5790,	/* addc r23, r23, r2 >> 128 */
-0x59094600,	/* mul128 r2, r6l, r10u */
-0x50585610,	/* add r22, r22, r2 << 128 */
-0x50dc5790,	/* addc r23, r23, r2 >> 128 */
-0x58616700,	/* mul128 r24, r7l, r11l */
-0x59e56700,	/* mul128 r25, r7u, r11u */
-0x58896700,	/* mul128 r2, r7u, r11l */
-0x50605810,	/* add r24, r24, r2 << 128 */
-0x50e45990,	/* addc r25, r25, r2 >> 128 */
-0x59096700,	/* mul128 r2, r7l, r11u */
-0x50605810,	/* add r24, r24, r2 << 128 */
-0x50e45990,	/* addc r25, r25, r2 >> 128 */
-0x58698800,	/* mul128 r26, r8l, r12l */
-0x59ed8800,	/* mul128 r27, r8u, r12u */
-0x58898800,	/* mul128 r2, r8u, r12l */
-0x50685a10,	/* add r26, r26, r2 << 128 */
-0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
-0x59098800,	/* mul128 r2, r8l, r12u */
-0x50685a10,	/* add r26, r26, r2 << 128 */
-0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
-0x5871a900,	/* mul128 r28, r9l, r13l */
-0x59f5a900,	/* mul128 r29, r9u, r13u */
-0x5889a900,	/* mul128 r2, r9u, r13l */
-0x50705c10,	/* add r28, r28, r2 << 128 */
-0x50f45d90,	/* addc r29, r29, r2 >> 128 */
-0x5909a900,	/* mul128 r2, r9l, r13u */
-0x50705c10,	/* add r28, r28, r2 << 128 */
-0x50f45d90,	/* addc r29, r29, r2 >> 128 */
-0x58016600,	/* mul128 r0, r6l, r11l */
-0x59856600,	/* mul128 r1, r6u, r11u */
-0x58896600,	/* mul128 r2, r6u, r11l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59096600,	/* mul128 r2, r6l, r11u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x58014700,	/* mul128 r0, r7l, r10l */
-0x59854700,	/* mul128 r1, r7u, r10u */
-0x58894700,	/* mul128 r2, r7u, r10l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59094700,	/* mul128 r2, r7l, r10u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x50e47900,	/* addc r25, r25, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x58018600,	/* mul128 r0, r6l, r12l */
-0x59858600,	/* mul128 r1, r6u, r12u */
-0x58898600,	/* mul128 r2, r6u, r12l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59098600,	/* mul128 r2, r6l, r12u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x58014800,	/* mul128 r0, r8l, r10l */
-0x59854800,	/* mul128 r1, r8u, r10u */
-0x58894800,	/* mul128 r2, r8u, r10l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59094800,	/* mul128 r2, r8l, r10u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x50e87a00,	/* addc r26, r26, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x5801a600,	/* mul128 r0, r6l, r13l */
-0x5985a600,	/* mul128 r1, r6u, r13u */
-0x5889a600,	/* mul128 r2, r6u, r13l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x5909a600,	/* mul128 r2, r6l, r13u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x58018700,	/* mul128 r0, r7l, r12l */
-0x59858700,	/* mul128 r1, r7u, r12u */
-0x58898700,	/* mul128 r2, r7u, r12l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59098700,	/* mul128 r2, r7l, r12u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x58014900,	/* mul128 r0, r9l, r10l */
-0x59854900,	/* mul128 r1, r9u, r10u */
-0x58894900,	/* mul128 r2, r9u, r10l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59094900,	/* mul128 r2, r9l, r10u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x58016800,	/* mul128 r0, r8l, r11l */
-0x59856800,	/* mul128 r1, r8u, r11u */
-0x58896800,	/* mul128 r2, r8u, r11l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59096800,	/* mul128 r2, r8l, r11u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x50ec7b00,	/* addc r27, r27, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x5801a700,	/* mul128 r0, r7l, r13l */
-0x5985a700,	/* mul128 r1, r7u, r13u */
-0x5889a700,	/* mul128 r2, r7u, r13l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x5909a700,	/* mul128 r2, r7l, r13u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50681a00,	/* add r26, r26, r0 */
-0x50ec3b00,	/* addc r27, r27, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x58016900,	/* mul128 r0, r9l, r11l */
-0x59856900,	/* mul128 r1, r9u, r11u */
-0x58896900,	/* mul128 r2, r9u, r11l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59096900,	/* mul128 r2, r9l, r11u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50681a00,	/* add r26, r26, r0 */
-0x50ec3b00,	/* addc r27, r27, r1 */
-0x50f07c00,	/* addc r28, r28, r3 */
-0x50f7fd00,	/* addc r29, r29, r31 */
-0x5801a800,	/* mul128 r0, r8l, r13l */
-0x5985a800,	/* mul128 r1, r8u, r13u */
-0x5889a800,	/* mul128 r2, r8u, r13l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x5909a800,	/* mul128 r2, r8l, r13u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x506c1b00,	/* add r27, r27, r0 */
-0x50f03c00,	/* addc r28, r28, r1 */
-0x50f7fd00,	/* addc r29, r29, r31 */
-0x58018900,	/* mul128 r0, r9l, r12l */
-0x59858900,	/* mul128 r1, r9u, r12u */
-0x58898900,	/* mul128 r2, r9u, r12l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59098900,	/* mul128 r2, r9l, r12u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x506c1b00,	/* add r27, r27, r0 */
-0x50f03c00,	/* addc r28, r28, r1 */
-0x50f7fd00,	/* addc r29, r29, r31 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x263: function sqr4[117] { */
-#define CF_sqr4_adr 611
-0x5858c600,	/* mul128 r22, r6l, r6l */
-0x59dcc600,	/* mul128 r23, r6u, r6u */
-0x5888c600,	/* mul128 r2, r6u, r6l */
-0x50585610,	/* add r22, r22, r2 << 128 */
-0x50dc5790,	/* addc r23, r23, r2 >> 128 */
-0x50585610,	/* add r22, r22, r2 << 128 */
-0x50dc5790,	/* addc r23, r23, r2 >> 128 */
-0x5860e700,	/* mul128 r24, r7l, r7l */
-0x59e4e700,	/* mul128 r25, r7u, r7u */
-0x5888e700,	/* mul128 r2, r7u, r7l */
-0x50605810,	/* add r24, r24, r2 << 128 */
-0x50e45990,	/* addc r25, r25, r2 >> 128 */
-0x50605810,	/* add r24, r24, r2 << 128 */
-0x50e45990,	/* addc r25, r25, r2 >> 128 */
-0x58690800,	/* mul128 r26, r8l, r8l */
-0x59ed0800,	/* mul128 r27, r8u, r8u */
-0x58890800,	/* mul128 r2, r8u, r8l */
-0x50685a10,	/* add r26, r26, r2 << 128 */
-0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
-0x50685a10,	/* add r26, r26, r2 << 128 */
-0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
-0x58712900,	/* mul128 r28, r9l, r9l */
-0x59f52900,	/* mul128 r29, r9u, r9u */
-0x58892900,	/* mul128 r2, r9u, r9l */
-0x50705c10,	/* add r28, r28, r2 << 128 */
-0x50f45d90,	/* addc r29, r29, r2 >> 128 */
-0x50705c10,	/* add r28, r28, r2 << 128 */
-0x50f45d90,	/* addc r29, r29, r2 >> 128 */
-0x5800e600,	/* mul128 r0, r6l, r7l */
-0x5984e600,	/* mul128 r1, r6u, r7u */
-0x5888e600,	/* mul128 r2, r6u, r7l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x5908e600,	/* mul128 r2, r6l, r7u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x50e47900,	/* addc r25, r25, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x58010600,	/* mul128 r0, r6l, r8l */
-0x59850600,	/* mul128 r1, r6u, r8u */
-0x58890600,	/* mul128 r2, r6u, r8l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59090600,	/* mul128 r2, r6l, r8u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x50e87a00,	/* addc r26, r26, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x58012600,	/* mul128 r0, r6l, r9l */
-0x59852600,	/* mul128 r1, r6u, r9u */
-0x58892600,	/* mul128 r2, r6u, r9l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59092600,	/* mul128 r2, r6l, r9u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x58010700,	/* mul128 r0, r7l, r8l */
-0x59850700,	/* mul128 r1, r7u, r8u */
-0x58890700,	/* mul128 r2, r7u, r8l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59090700,	/* mul128 r2, r7l, r8u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x50ec7b00,	/* addc r27, r27, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x58012700,	/* mul128 r0, r7l, r9l */
-0x59852700,	/* mul128 r1, r7u, r9u */
-0x58892700,	/* mul128 r2, r7u, r9l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59092700,	/* mul128 r2, r7l, r9u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x50681a00,	/* add r26, r26, r0 */
-0x50ec3b00,	/* addc r27, r27, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x50681a00,	/* add r26, r26, r0 */
-0x50ec3b00,	/* addc r27, r27, r1 */
-0x50f07c00,	/* addc r28, r28, r3 */
-0x50f7fd00,	/* addc r29, r29, r31 */
-0x58012800,	/* mul128 r0, r8l, r9l */
-0x59852800,	/* mul128 r1, r8u, r9u */
-0x58892800,	/* mul128 r2, r8u, r9l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x59092800,	/* mul128 r2, r8l, r9u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x506c1b00,	/* add r27, r27, r0 */
-0x50f03c00,	/* addc r28, r28, r1 */
-0x50f7fd00,	/* addc r29, r29, r31 */
-0x506c1b00,	/* add r27, r27, r0 */
-0x50f03c00,	/* addc r28, r28, r1 */
-0x50f7fd00,	/* addc r29, r29, r31 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x2d8: function dod0[15] { */
-#define CF_dod0_adr 728
-0x8c0c1100,	/* ld *3, *1 */
-0x58140100,	/* mul128 r5, r1l, r0l */
-0x58880100,	/* mul128 r2, r1u, r0l */
-0x50144510,	/* add r5, r5, r2 << 128 */
-0x59080100,	/* mul128 r2, r1l, r0u */
-0x50144510,	/* add r5, r5, r2 << 128 */
-0x5801c500,	/* mul128 r0, r5l, r14l */
-0x5985c500,	/* mul128 r1, r5u, r14u */
-0x5889c500,	/* mul128 r2, r5u, r14l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x5909c500,	/* mul128 r2, r5l, r14u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x2e7: function dod1[9] { */
-#define CF_dod1_adr 743
-0x5801e500,	/* mul128 r0, r5l, r15l */
-0x5985e500,	/* mul128 r1, r5u, r15u */
-0x5889e500,	/* mul128 r2, r5u, r15l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x5909e500,	/* mul128 r2, r5l, r15u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x2f0: function dod2[9] { */
-#define CF_dod2_adr 752
-0x58020500,	/* mul128 r0, r5l, r16l */
-0x59860500,	/* mul128 r1, r5u, r16u */
-0x588a0500,	/* mul128 r2, r5u, r16l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x590a0500,	/* mul128 r2, r5l, r16u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x2f9: function dod3[9] { */
-#define CF_dod3_adr 761
-0x58022500,	/* mul128 r0, r5l, r17l */
-0x59862500,	/* mul128 r1, r5u, r17u */
-0x588a2500,	/* mul128 r2, r5u, r17l */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x590a2500,	/* mul128 r2, r5l, r17u */
-0x50004010,	/* add r0, r0, r2 << 128 */
-0x50844190,	/* addc r1, r1, r2 >> 128 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x302: function redc4[97] { */
-#define CF_redc4_adr 770
-0x7c001600,	/* mov r0, r22 */
-0x080002d8,	/* call &dod0 */
-0x50581600,	/* add r22, r22, r0 */
-0x50dc3700,	/* addc r23, r23, r1 */
-0x50e3f800,	/* addc r24, r24, r31 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002e7,	/* call &dod1 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x50e49900,	/* addc r25, r25, r4 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002f0,	/* call &dod2 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x50e89a00,	/* addc r26, r26, r4 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002f9,	/* call &dod3 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x50ec9b00,	/* addc r27, r27, r4 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x7c001700,	/* mov r0, r23 */
-0x080002d8,	/* call &dod0 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x50e7f900,	/* addc r25, r25, r31 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002e7,	/* call &dod1 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x50e89a00,	/* addc r26, r26, r4 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002f0,	/* call &dod2 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x50ec9b00,	/* addc r27, r27, r4 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x080002f9,	/* call &dod3 */
-0x50681a00,	/* add r26, r26, r0 */
-0x50ec3b00,	/* addc r27, r27, r1 */
-0x50f07c00,	/* addc r28, r28, r3 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x7c001800,	/* mov r0, r24 */
-0x080002d8,	/* call &dod0 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x50ebfa00,	/* addc r26, r26, r31 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002e7,	/* call &dod1 */
-0x50641900,	/* add r25, r25, r0 */
-0x50e83a00,	/* addc r26, r26, r1 */
-0x50ec9b00,	/* addc r27, r27, r4 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002f0,	/* call &dod2 */
-0x50681a00,	/* add r26, r26, r0 */
-0x50ec3b00,	/* addc r27, r27, r1 */
-0x50f09c00,	/* addc r28, r28, r4 */
-0x5093e300,	/* addc r4, r3, r31 */
-0x080002f9,	/* call &dod3 */
-0x506c1b00,	/* add r27, r27, r0 */
-0x50f03c00,	/* addc r28, r28, r1 */
-0x50f49d00,	/* addc r29, r29, r4 */
-0x508fff00,	/* addc r3, r31, r31 */
-0x7c001900,	/* mov r0, r25 */
-0x080002d8,	/* call &dod0 */
-0x50641900,	/* add r25, r25, r0 */
-0x50d83a00,	/* addc r22, r26, r1 */
-0x50dffb00,	/* addc r23, r27, r31 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002e7,	/* call &dod1 */
-0x50581600,	/* add r22, r22, r0 */
-0x50dc3700,	/* addc r23, r23, r1 */
-0x50e09c00,	/* addc r24, r28, r4 */
-0x5093ff00,	/* addc r4, r31, r31 */
-0x080002f0,	/* call &dod2 */
-0x505c1700,	/* add r23, r23, r0 */
-0x50e03800,	/* addc r24, r24, r1 */
-0x50e49d00,	/* addc r25, r29, r4 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x080002f9,	/* call &dod3 */
-0x50601800,	/* add r24, r24, r0 */
-0x50e43900,	/* addc r25, r25, r1 */
-0x508fe300,	/* addc r3, r3, r31 */
-0x56007f00,	/* subx r0, r31, r3 */
-0x99680000,	/* strnd r26 */
-0x996c0000,	/* strnd r27 */
-0x99700000,	/* strnd r28 */
-0x99740000,	/* strnd r29 */
-0x5409d600,	/* sub r2, r22, r14 */
-0x54e9f700,	/* subb r26, r23, r15 */
-0x54ee1800,	/* subb r27, r24, r16 */
-0x54f23900,	/* subb r28, r25, r17 */
-0x66773c08,	/* selcx r29, r28, r25 */
-0x66731b08,	/* selcx r28, r27, r24 */
-0x666efa08,	/* selcx r27, r26, r23 */
-0x666ac208,	/* selcx r26, r2, r22 */
-0x0c000000,	/* ret */
-/* } */
-/* @0x363: function modexp_1024[101] { */
-#define CF_modexp_1024_adr 867
-0x7c081f00,	/* mov r2, r31 */
-0x80080006,	/* movi r2.0l, #6 */
-0x8088000a,	/* movi r2.1l, #10 */
-0x81880001,	/* movi r2.3l, #1 */
-0x8208000e,	/* movi r2.4l, #14 */
-0x82880016,	/* movi r2.5l, #22 */
-0x83080012,	/* movi r2.6l, #18 */
-0x97800200,	/* ldrfp r2 */
-0x7c001f00,	/* mov r0, r31 */
-0x8180ffff,	/* movi r0.3l, #65535 */
-0x84044000,	/* ldi r1, [#0] */
-0x40040100,	/* and r1, r1, r0 */
-0x48000000,	/* not r0, r0 */
-0x84084060,	/* ldi r2, [#3] */
-0x40080200,	/* and r2, r2, r0 */
-0x44082200,	/* or r2, r2, r1 */
-0x95800200,	/* lddmp r2 */
-0x05004004,	/* loop #4 ( */
-0x8c201b00,	/* ld *0++, *3++ */
-0x8c241a00,	/* ld *1++, *2++ */
-0x8c301800,	/* ld *4++, *0++ */
-0x8c381c00,	/* ld *6++, *4++ */
-/*		   ) */
-0x99780000,	/* strnd r30 */
-0x507bde00,	/* add r30, r30, r30 */
-0x080001ba,	/* call &mul4 */
-0x08000302,	/* call &redc4 */
-0x7c281a00,	/* mov r10, r26 */
-0x7c2c1b00,	/* mov r11, r27 */
-0x7c301c00,	/* mov r12, r28 */
-0x7c341d00,	/* mov r13, r29 */
-0x99180000,	/* strnd r6 */
-0x991c0000,	/* strnd r7 */
-0x99200000,	/* strnd r8 */
-0x99240000,	/* strnd r9 */
-0x05400033,	/* loop #1024 ( */
-0x08000263,	/* call &sqr4 */
-0x08000302,	/* call &redc4 */
-0x99180000,	/* strnd r6 */
-0x991c0000,	/* strnd r7 */
-0x99200000,	/* strnd r8 */
-0x99240000,	/* strnd r9 */
-0x7c181a00,	/* mov r6, r26 */
-0x7c1c1b00,	/* mov r7, r27 */
-0x7c201c00,	/* mov r8, r28 */
-0x7c241d00,	/* mov r9, r29 */
-0x080001ba,	/* call &mul4 */
-0x08000302,	/* call &redc4 */
-0x99000000,	/* strnd r0 */
-0x5002b500,	/* add r0, r21, r21 */
-0x99000000,	/* strnd r0 */
-0x50825200,	/* addc r0, r18, r18 */
-0x99480000,	/* strnd r18 */
-0x7c480000,	/* mov r18, r0 */
-0x99000000,	/* strnd r0 */
-0x50827300,	/* addc r0, r19, r19 */
-0x994c0000,	/* strnd r19 */
-0x7c4c0000,	/* mov r19, r0 */
-0x99000000,	/* strnd r0 */
-0x50829400,	/* addc r0, r20, r20 */
-0x99500000,	/* strnd r20 */
-0x7c500000,	/* mov r20, r0 */
-0x99000000,	/* strnd r0 */
-0x5082b500,	/* addc r0, r21, r21 */
-0x99540000,	/* strnd r21 */
-0x7c540000,	/* mov r21, r0 */
-0x99580000,	/* strnd r22 */
-0x995c0000,	/* strnd r23 */
-0x99600000,	/* strnd r24 */
-0x99640000,	/* strnd r25 */
-0x080001aa,	/* call &selA0orC4 */
-0x99180000,	/* strnd r6 */
-0x991c0000,	/* strnd r7 */
-0x99200000,	/* strnd r8 */
-0x99240000,	/* strnd r9 */
-0x99000000,	/* strnd r0 */
-0x50000000,	/* add r0, r0, r0 */
-0x4c001e00,	/* xor r0, r30, r0 */
-0x99780000,	/* strnd r30 */
-0x507bde00,	/* add r30, r30, r30 */
-0x4c781e00,	/* xor r30, r30, r0 */
-0x447a5e00,	/* or r30, r30, r18 */
-0x4c03c000,	/* xor r0, r0, r30 */
-0x641aca01,	/* sell r6, r10, r22 */
-0x641eeb01,	/* sell r7, r11, r23 */
-0x64230c01,	/* sell r8, r12, r24 */
-0x64272d01,	/* sell r9, r13, r25 */
-/*		   ) */
-0x7c281f00,	/* mov r10, r31 */
-0x80280001,	/* movi r10.0l, #1 */
-0x7c2c1f00,	/* mov r11, r31 */
-0x7c301f00,	/* mov r12, r31 */
-0x7c341f00,	/* mov r13, r31 */
-0x080001ba,	/* call &mul4 */
-0x08000302,	/* call &redc4 */
-0x5419da00,	/* sub r6, r26, r14 */
-0x549dfb00,	/* subb r7, r27, r15 */
-0x54a21c00,	/* subb r8, r28, r16 */
-0x54a63d00,	/* subb r9, r29, r17 */
-0x080001aa,	/* call &selA0orC4 */
-0x05004001,	/* loop #4 ( */
-0x90740d00,	/* st *5++, *5++ */
-/*		   ) */
-0x0c000000,	/* ret */
-/* } */
-#endif // CONFIG_DCRYPTO_RSA_SPEEDUP
-};
-/* clang-format on */
+#include "dcrypto_bn.inc"
 
 struct DMEM_ctx_ptrs {
 	uint32_t pMod;
diff --git a/board/cr50/dcrypto/dcrypto_bn.inc b/board/cr50/dcrypto/dcrypto_bn.inc
new file mode 100644
index 0000000000..160e9b7072
--- /dev/null
+++ b/board/cr50/dcrypto/dcrypto_bn.inc
@@ -0,0 +1,1101 @@
+/* AUTO-GENERATED.  DO NOT MODIFY. */
+/* clang-format off */
+static const uint32_t IMEM_dcrypto_bn[] = {
+/* @0x0: function tag[1] { */
+#define CF_tag_adr 0
+0xf8000001,	/* sigini #1 */
+/* } */
+/* @0x1: function d0inv[14] { */
+#define CF_d0inv_adr 1
+0x4c000000,	/* xor r0, r0, r0 */
+0x80000001,	/* movi r0.0l, #1 */
+0x7c740000,	/* mov r29, r0 */
+0x05100008,	/* loop #256 ( */
+0x5807bc00,	/* mul128 r1, r28l, r29l */
+0x588bbc00,	/* mul128 r2, r28u, r29l */
+0x50044110,	/* add r1, r1, r2 << 128 */
+0x590bbc00,	/* mul128 r2, r28l, r29u */
+0x50044110,	/* add r1, r1, r2 << 128 */
+0x40040100,	/* and r1, r1, r0 */
+0x44743d00,	/* or r29, r29, r1 */
+0x50000000,	/* add r0, r0, r0 */
+/*		   ) */
+0x5477bf00,	/* sub r29, r31, r29 */
+0x0c000000,	/* ret */
+/* } */
+/* @0xf: function selcxSub[25] { */
+#define CF_selcxSub_adr 15
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x99100000,	/* strnd r4 */
+0x5013e400,	/* add r4, r4, r31 */
+0x1000101e,	/* bl selcxSub_invsel */
+0x528c8402,	/* addcx r3, r4, r4 << 16 */
+0x0600c007,	/* loop *6 ( */
+0x8c081800,	/* ld *2, *0++ */
+0x7c8c0000,	/* ldr *3, *0 */
+0x7c800400,	/* ldr *0, *4 */
+0x54906200,	/* subb r4, r2, r3 */
+0x990c0000,	/* strnd r3 */
+0x660c4401,	/* sellx r3, r4, r2 */
+0x7ca00200,	/* ldr *0++, *2 */
+/*		   ) */
+0x0c000000,	/* ret */
+/*selcxSub_invsel: */
+0x528c8402,	/* addcx r3, r4, r4 << 16 */
+0x0600c007,	/* loop *6 ( */
+0x8c081800,	/* ld *2, *0++ */
+0x7c8c0000,	/* ldr *3, *0 */
+0x7c800400,	/* ldr *0, *4 */
+0x54906200,	/* subb r4, r2, r3 */
+0x990c0000,	/* strnd r3 */
+0x660c8201,	/* sellx r3, r2, r4 */
+0x7ca00200,	/* ldr *0++, *2 */
+/*		   ) */
+0x0c000000,	/* ret */
+/* } */
+/* @0x28: function computeRR[41] { */
+#define CF_computeRR_adr 40
+0x4c7fff00,	/* xor r31, r31, r31 */
+0x84004000,	/* ldi r0, [#0] */
+0x95800000,	/* lddmp r0 */
+0x4c0c6300,	/* xor r3, r3, r3 */
+0x800cffff,	/* movi r3.0l, #65535 */
+0x40040398,	/* and r1, r3, r0 >> 192 */
+0x480c6000,	/* not r3, r3 */
+0x400c0300,	/* and r3, r3, r0 */
+0x500c2301,	/* add r3, r3, r1 << 8 */
+0x94800300,	/* ldlc r3 */
+0x80040005,	/* movi r1.0l, #5 */
+0x81040003,	/* movi r1.2l, #3 */
+0x81840002,	/* movi r1.3l, #2 */
+0x82040004,	/* movi r1.4l, #4 */
+0x97800100,	/* ldrfp r1 */
+0x4c0c6300,	/* xor r3, r3, r3 */
+0x0600c001,	/* loop *6 ( */
+0x7ca00200,	/* ldr *0++, *2 */
+/*		   ) */
+0x560c1f00,	/* subx r3, r31, r0 */
+0x0800000f,	/* call &selcxSub */
+0x06000010,	/* loop *0 ( */
+0x97800100,	/* ldrfp r1 */
+0x560c6300,	/* subx r3, r3, r3 */
+0x0600c003,	/* loop *6 ( */
+0x7c8c0000,	/* ldr *3, *0 */
+0x52884200,	/* addcx r2, r2, r2 */
+0x7ca00300,	/* ldr *0++, *3 */
+/*		   ) */
+0x0800000f,	/* call &selcxSub */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x560c6300,	/* subx r3, r3, r3 */
+0x0600c003,	/* loop *6 ( */
+0x8c081800,	/* ld *2, *0++ */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x5e804300,	/* cmpbx r3, r2 */
+/*		   ) */
+0x0800000f,	/* call &selcxSub */
+0xfc000000,	/* nop */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x0600c001,	/* loop *6 ( */
+0x90680800,	/* st *0++, *2++ */
+/*		   ) */
+0x0c000000,	/* ret */
+/* } */
+/* @0x51: function dmXd0[9] { */
+#define CF_dmXd0_adr 81
+0x586f3e00,	/* mul128 r27, r30l, r25l */
+0x59eb3e00,	/* mul128 r26, r30u, r25u */
+0x58df3e00,	/* mul128 r23, r30u, r25l */
+0x506efb10,	/* add r27, r27, r23 << 128 */
+0x50eafa90,	/* addc r26, r26, r23 >> 128 */
+0x595f3e00,	/* mul128 r23, r30l, r25u */
+0x506efb10,	/* add r27, r27, r23 << 128 */
+0x50eafa90,	/* addc r26, r26, r23 >> 128 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x5a: function dmXa[9] { */
+#define CF_dmXa_adr 90
+0x586c5e00,	/* mul128 r27, r30l, r2l */
+0x59e85e00,	/* mul128 r26, r30u, r2u */
+0x58dc5e00,	/* mul128 r23, r30u, r2l */
+0x506efb10,	/* add r27, r27, r23 << 128 */
+0x50eafa90,	/* addc r26, r26, r23 >> 128 */
+0x595c5e00,	/* mul128 r23, r30l, r2u */
+0x506efb10,	/* add r27, r27, r23 << 128 */
+0x50eafa90,	/* addc r26, r26, r23 >> 128 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x63: function mma_sub_cx[23] { */
+#define CF_mma_sub_cx_adr 99
+0x99700000,	/* strnd r28 */
+0x5073fc00,	/* add r28, r28, r31 */
+0x10001070,	/* bl mma_invsel */
+0x52f39c02,	/* addcx r28, r28, r28 << 16 */
+0x0600c007,	/* loop *6 ( */
+0x8c141800,	/* ld *5, *0++ */
+0x7c900000,	/* ldr *4, *0 */
+0x54f71e00,	/* subb r29, r30, r24 */
+0x99600000,	/* strnd r24 */
+0x7c800500,	/* ldr *0, *5 */
+0x6663dd01,	/* sellx r24, r29, r30 */
+0x7ca00500,	/* ldr *0++, *5 */
+/*		   ) */
+0x0c000000,	/* ret */
+/*mma_invsel: */
+0x52f39c02,	/* addcx r28, r28, r28 << 16 */
+0x0600c007,	/* loop *6 ( */
+0x8c141800,	/* ld *5, *0++ */
+0x7c900000,	/* ldr *4, *0 */
+0x54f71e00,	/* subb r29, r30, r24 */
+0x99600000,	/* strnd r24 */
+0x7c800500,	/* ldr *0, *5 */
+0x6663be01,	/* sellx r24, r30, r29 */
+0x7ca00500,	/* ldr *0++, *5 */
+/*		   ) */
+0x0c000000,	/* ret */
+/* } */
+/* @0x7a: function mma[39] { */
+#define CF_mma_adr 122
+0x8204001e,	/* movi r1.4l, #30 */
+0x82840018,	/* movi r1.5l, #24 */
+0x97800100,	/* ldrfp r1 */
+0x8c101b00,	/* ld *4, *3++ */
+0x0800005a,	/* call &dmXa */
+0x7c940800,	/* ldr *5, *0++ */
+0x507b1b00,	/* add r30, r27, r24 */
+0x50f7fa00,	/* addc r29, r26, r31 */
+0x7c640300,	/* mov r25, r3 */
+0x08000051,	/* call &dmXd0 */
+0x7c641b00,	/* mov r25, r27 */
+0x7c701a00,	/* mov r28, r26 */
+0x7c601e00,	/* mov r24, r30 */
+0x8c101800,	/* ld *4, *0++ */
+0x08000051,	/* call &dmXd0 */
+0x506f1b00,	/* add r27, r27, r24 */
+0x50f3fa00,	/* addc r28, r26, r31 */
+0x0600e00e,	/* loop *7 ( */
+0x8c101b00,	/* ld *4, *3++ */
+0x0800005a,	/* call &dmXa */
+0x7c940800,	/* ldr *5, *0++ */
+0x506f1b00,	/* add r27, r27, r24 */
+0x50ebfa00,	/* addc r26, r26, r31 */
+0x5063bb00,	/* add r24, r27, r29 */
+0x50f7fa00,	/* addc r29, r26, r31 */
+0x8c101800,	/* ld *4, *0++ */
+0x08000051,	/* call &dmXd0 */
+0x506f1b00,	/* add r27, r27, r24 */
+0x50ebfa00,	/* addc r26, r26, r31 */
+0x52639b00,	/* addx r24, r27, r28 */
+0x7ca80500,	/* ldr *2++, *5 */
+0x52f3fa00,	/* addcx r28, r26, r31 */
+/*		   ) */
+0x52e39d00,	/* addcx r24, r29, r28 */
+0x7ca80500,	/* ldr *2++, *5 */
+0x95800000,	/* lddmp r0 */
+0x97800100,	/* ldrfp r1 */
+0x08000063,	/* call &mma_sub_cx */
+0xfc000000,	/* nop */
+0x0c000000,	/* ret */
+/* } */
+/* @0xa1: function setupPtrs[11] { */
+#define CF_setupPtrs_adr 161
+0x847c4000,	/* ldi r31, [#0] */
+0x4c7fff00,	/* xor r31, r31, r31 */
+0x95800000,	/* lddmp r0 */
+0x94800000,	/* ldlc r0 */
+0x7c041f00,	/* mov r1, r31 */
+0x80040004,	/* movi r1.0l, #4 */
+0x80840003,	/* movi r1.1l, #3 */
+0x81040004,	/* movi r1.2l, #4 */
+0x81840002,	/* movi r1.3l, #2 */
+0x97800100,	/* ldrfp r1 */
+0x0c000000,	/* ret */
+/* } */
+/* @0xac: function mulx[19] { */
+#define CF_mulx_adr 172
+0x84004000,	/* ldi r0, [#0] */
+0x080000a1,	/* call &setupPtrs */
+0x8c041100,	/* ld *1, *1 */
+0x7c081f00,	/* mov r2, r31 */
+0x0600c001,	/* loop *6 ( */
+0x7ca80300,	/* ldr *2++, *3 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x0600c004,	/* loop *6 ( */
+0x8c0c1c00,	/* ld *3, *4++ */
+0x95000000,	/* stdmp r0 */
+0x0800007a,	/* call &mma */
+0x95800000,	/* lddmp r0 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x0600c001,	/* loop *6 ( */
+0x90740800,	/* st *0++, *5++ */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x0c000000,	/* ret */
+/* } */
+/* @0xbf: function mm1_sub_cx[22] { */
+#define CF_mm1_sub_cx_adr 191
+0x990c0000,	/* strnd r3 */
+0x500fe300,	/* add r3, r3, r31 */
+0x100010cc,	/* bl mm1_invsel */
+0x528c6302,	/* addcx r3, r3, r3 << 16 */
+0x0600c006,	/* loop *6 ( */
+0x8c041800,	/* ld *1, *0++ */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x548c6200,	/* subb r3, r2, r3 */
+0x66084301,	/* sellx r2, r3, r2 */
+0x90740300,	/* st *3, *5++ */
+0xfc000000,	/* nop */
+/*		   ) */
+0x0c000000,	/* ret */
+0xfc000000,	/* nop */
+/*mm1_invsel: */
+0x528c6302,	/* addcx r3, r3, r3 << 16 */
+0x0600c006,	/* loop *6 ( */
+0x8c041800,	/* ld *1, *0++ */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x548c6200,	/* subb r3, r2, r3 */
+0x66086201,	/* sellx r2, r2, r3 */
+0x90740300,	/* st *3, *5++ */
+0xfc000000,	/* nop */
+/*		   ) */
+0x0c000000,	/* ret */
+/* } */
+/* @0xd5: function mul1_exp[23] { */
+#define CF_mul1_exp_adr 213
+0x8c041100,	/* ld *1, *1 */
+0x7c081f00,	/* mov r2, r31 */
+0x0600c001,	/* loop *6 ( */
+0x7ca80300,	/* ldr *2++, *3 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x80080001,	/* movi r2.0l, #1 */
+0x0600c003,	/* loop *6 ( */
+0x95800000,	/* lddmp r0 */
+0x0800007a,	/* call &mma */
+0x7c081f00,	/* mov r2, r31 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x56084200,	/* subx r2, r2, r2 */
+0x0600c003,	/* loop *6 ( */
+0x8c041800,	/* ld *1, *0++ */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x5e804300,	/* cmpbx r3, r2 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x080000bf,	/* call &mm1_sub_cx */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x0c000000,	/* ret */
+/* } */
+/* @0xec: function mul1[4] { */
+#define CF_mul1_adr 236
+0x84004000,	/* ldi r0, [#0] */
+0x080000a1,	/* call &setupPtrs */
+0x080000d5,	/* call &mul1_exp */
+0x0c000000,	/* ret */
+/* } */
+/* @0xf0: function sqrx_exp[19] { */
+#define CF_sqrx_exp_adr 240
+0x84004020,	/* ldi r0, [#1] */
+0x95800000,	/* lddmp r0 */
+0x8c041100,	/* ld *1, *1 */
+0x7c081f00,	/* mov r2, r31 */
+0x0600c001,	/* loop *6 ( */
+0x7ca80300,	/* ldr *2++, *3 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x0600c004,	/* loop *6 ( */
+0x8c0c1c00,	/* ld *3, *4++ */
+0x95000000,	/* stdmp r0 */
+0x0800007a,	/* call &mma */
+0x95800000,	/* lddmp r0 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x0600c001,	/* loop *6 ( */
+0x90740800,	/* st *0++, *5++ */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x95800000,	/* lddmp r0 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x103: function mulx_exp[14] { */
+#define CF_mulx_exp_adr 259
+0x84004040,	/* ldi r0, [#2] */
+0x95800000,	/* lddmp r0 */
+0x8c041100,	/* ld *1, *1 */
+0x7c081f00,	/* mov r2, r31 */
+0x0600c001,	/* loop *6 ( */
+0x7ca80300,	/* ldr *2++, *3 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x0600c004,	/* loop *6 ( */
+0x8c0c1c00,	/* ld *3, *4++ */
+0x95000000,	/* stdmp r0 */
+0x0800007a,	/* call &mma */
+0x95800000,	/* lddmp r0 */
+/*		   ) */
+0x97800100,	/* ldrfp r1 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x111: function selOutOrC[30] { */
+#define CF_selOutOrC_adr 273
+0x990c0000,	/* strnd r3 */
+0x440c6300,	/* or r3, r3, r3 */
+0x10001122,	/* bl selOutOrC_invsel */
+0x508c6302,	/* addc r3, r3, r3 << 16 */
+0x0600c00a,	/* loop *6 ( */
+0x990c0000,	/* strnd r3 */
+0x99080000,	/* strnd r2 */
+0x8c041500,	/* ld *1, *5 */
+0x90540300,	/* st *3, *5 */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x99000000,	/* strnd r0 */
+0x7c000200,	/* mov r0, r2 */
+0x99080000,	/* strnd r2 */
+0x64086001,	/* sell r2, r0, r3 */
+0x90740300,	/* st *3, *5++ */
+/*		   ) */
+0x0c000000,	/* ret */
+0xfc000000,	/* nop */
+/*selOutOrC_invsel: */
+0x508c6302,	/* addc r3, r3, r3 << 16 */
+0x0600c00a,	/* loop *6 ( */
+0x990c0000,	/* strnd r3 */
+0x99080000,	/* strnd r2 */
+0x8c041500,	/* ld *1, *5 */
+0x90540300,	/* st *3, *5 */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x99000000,	/* strnd r0 */
+0x7c000200,	/* mov r0, r2 */
+0x99080000,	/* strnd r2 */
+0x64080301,	/* sell r2, r3, r0 */
+0x90740300,	/* st *3, *5++ */
+/*		   ) */
+0x0c000000,	/* ret */
+/* } */
+/* @0x12f: function modexp[35] { */
+#define CF_modexp_adr 303
+0x080000ac,	/* call &mulx */
+0x84004060,	/* ldi r0, [#3] */
+0x95800000,	/* lddmp r0 */
+0x54084200,	/* sub r2, r2, r2 */
+0x0600c004,	/* loop *6 ( */
+0xfc000000,	/* nop */
+0x8c0c1800,	/* ld *3, *0++ */
+0x54885f00,	/* subb r2, r31, r2 */
+0x90740300,	/* st *3, *5++ */
+/*		   ) */
+0xfc000000,	/* nop */
+0x7c081f00,	/* mov r2, r31 */
+0x8008ffff,	/* movi r2.0l, #65535 */
+0x400c0298,	/* and r3, r2, r0 >> 192 */
+0x48084000,	/* not r2, r2 */
+0x40080200,	/* and r2, r2, r0 */
+0x50086201,	/* add r2, r2, r3 << 8 */
+0x94800200,	/* ldlc r2 */
+0x0600000d,	/* loop *0 ( */
+0x080000f0,	/* call &sqrx_exp */
+0x08000103,	/* call &mulx_exp */
+0x84004060,	/* ldi r0, [#3] */
+0x95800000,	/* lddmp r0 */
+0x99080000,	/* strnd r2 */
+0x50084200,	/* add r2, r2, r2 */
+0x0600c004,	/* loop *6 ( */
+0x99080000,	/* strnd r2 */
+0x8c0c1400,	/* ld *3, *4 */
+0x50884200,	/* addc r2, r2, r2 */
+0x90700300,	/* st *3, *4++ */
+/*		   ) */
+0x08000111,	/* call &selOutOrC */
+0xfc000000,	/* nop */
+/*		   ) */
+0x84004060,	/* ldi r0, [#3] */
+0x95800000,	/* lddmp r0 */
+0x080000d5,	/* call &mul1_exp */
+0x0c000000,	/* ret */
+/* } */
+/* @0x152: function modexp_blinded[76] { */
+#define CF_modexp_blinded_adr 338
+0x080000ac,	/* call &mulx */
+0x84004060,	/* ldi r0, [#3] */
+0x95800000,	/* lddmp r0 */
+0x54084200,	/* sub r2, r2, r2 */
+0x0600c004,	/* loop *6 ( */
+0xfc000000,	/* nop */
+0x8c0c1800,	/* ld *3, *0++ */
+0x54885f00,	/* subb r2, r31, r2 */
+0x90740300,	/* st *3, *5++ */
+/*		   ) */
+0xfc000000,	/* nop */
+0x8c0c1900,	/* ld *3, *1++ */
+0x8c0c1100,	/* ld *3, *1 */
+0x521c5f90,	/* addx r7, r31, r2 >> 128 */
+0x590c4200,	/* mul128 r3, r2l, r2u */
+0x7c181f00,	/* mov r6, r31 */
+0x0600c011,	/* loop *6 ( */
+0x99080000,	/* strnd r2 */
+0x8c0c1400,	/* ld *3, *4 */
+0x58106200,	/* mul128 r4, r2l, r3l */
+0x59946200,	/* mul128 r5, r2u, r3u */
+0x58806200,	/* mul128 r0, r2u, r3l */
+0x50100410,	/* add r4, r4, r0 << 128 */
+0x50940590,	/* addc r5, r5, r0 >> 128 */
+0x59006200,	/* mul128 r0, r2l, r3u */
+0x50100410,	/* add r4, r4, r0 << 128 */
+0x50940590,	/* addc r5, r5, r0 >> 128 */
+0x5010c400,	/* add r4, r4, r6 */
+0x5097e500,	/* addc r5, r5, r31 */
+0x50088200,	/* add r2, r2, r4 */
+0x509be500,	/* addc r6, r5, r31 */
+0x5688e200,	/* subbx r2, r2, r7 */
+0x90700300,	/* st *3, *4++ */
+0x541ce700,	/* sub r7, r7, r7 */
+/*		   ) */
+0x7c080600,	/* mov r2, r6 */
+0x5688e200,	/* subbx r2, r2, r7 */
+0x90500300,	/* st *3, *4 */
+0xfc000000,	/* nop */
+0x84004060,	/* ldi r0, [#3] */
+0x7c081f00,	/* mov r2, r31 */
+0x8008ffff,	/* movi r2.0l, #65535 */
+0x400c0298,	/* and r3, r2, r0 >> 192 */
+0x48084000,	/* not r2, r2 */
+0x40080200,	/* and r2, r2, r0 */
+0x510c0301,	/* addi r3, r3, #1 */
+0x50086201,	/* add r2, r2, r3 << 8 */
+0x94800200,	/* ldlc r2 */
+0x06000019,	/* loop *0 ( */
+0x080000f0,	/* call &sqrx_exp */
+0x08000103,	/* call &mulx_exp */
+0x84004060,	/* ldi r0, [#3] */
+0x95800000,	/* lddmp r0 */
+0x99080000,	/* strnd r2 */
+0x54084200,	/* sub r2, r2, r2 */
+0x0600c004,	/* loop *6 ( */
+0x99080000,	/* strnd r2 */
+0x8c0c1400,	/* ld *3, *4 */
+0x50884200,	/* addc r2, r2, r2 */
+0x90700300,	/* st *3, *4++ */
+/*		   ) */
+0x99080000,	/* strnd r2 */
+0x8c0c1400,	/* ld *3, *4 */
+0x50884200,	/* addc r2, r2, r2 */
+0x90700300,	/* st *3, *4++ */
+0x0600c008,	/* loop *6 ( */
+0x99080000,	/* strnd r2 */
+0x8c041500,	/* ld *1, *5 */
+0x90540300,	/* st *3, *5 */
+0x7c8c0800,	/* ldr *3, *0++ */
+0x7c000200,	/* mov r0, r2 */
+0x99080000,	/* strnd r2 */
+0x64086008,	/* selc r2, r0, r3 */
+0x90740300,	/* st *3, *5++ */
+/*		   ) */
+0xfc000000,	/* nop */
+/*		   ) */
+0x84004060,	/* ldi r0, [#3] */
+0x95800000,	/* lddmp r0 */
+0x080000d5,	/* call &mul1_exp */
+0x0c000000,	/* ret */
+/* } */
+/* @0x19e: function modload[12] { */
+#define CF_modload_adr 414
+0x4c7fff00,	/* xor r31, r31, r31 */
+0x84004000,	/* ldi r0, [#0] */
+0x95800000,	/* lddmp r0 */
+0x94800000,	/* ldlc r0 */
+0x8000001c,	/* movi r0.0l, #28 */
+0x8080001d,	/* movi r0.1l, #29 */
+0x97800000,	/* ldrfp r0 */
+0x8c001000,	/* ld *0, *0 */
+0x08000001,	/* call &d0inv */
+0x90440100,	/* st *1, *1 */
+0x08000028,	/* call &computeRR */
+0x0c000000,	/* ret */
+/* } */
+#ifdef CONFIG_DCRYPTO_RSA_SPEEDUP
+/* @0x1aa: function selA0orC4[16] { */
+#define CF_selA0orC4_adr 426
+0x99000000,	/* strnd r0 */
+0x44000000,	/* or r0, r0, r0 */
+0x100011b4,	/* bl selA0orC4_invsel */
+0x50840002,	/* addc r1, r0, r0 << 16 */
+0x6458da01,	/* sell r22, r26, r6 */
+0x645cfb01,	/* sell r23, r27, r7 */
+0x64611c01,	/* sell r24, r28, r8 */
+0x64653d01,	/* sell r25, r29, r9 */
+0x0c000000,	/* ret */
+0xfc000000,	/* nop */
+/*selA0orC4_invsel: */
+0x50840002,	/* addc r1, r0, r0 << 16 */
+0x645b4601,	/* sell r22, r6, r26 */
+0x645f6701,	/* sell r23, r7, r27 */
+0x64638801,	/* sell r24, r8, r28 */
+0x6467a901,	/* sell r25, r9, r29 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x1ba: function mul4[169] { */
+#define CF_mul4_adr 442
+0x58594600,	/* mul128 r22, r6l, r10l */
+0x59dd4600,	/* mul128 r23, r6u, r10u */
+0x58894600,	/* mul128 r2, r6u, r10l */
+0x50585610,	/* add r22, r22, r2 << 128 */
+0x50dc5790,	/* addc r23, r23, r2 >> 128 */
+0x59094600,	/* mul128 r2, r6l, r10u */
+0x50585610,	/* add r22, r22, r2 << 128 */
+0x50dc5790,	/* addc r23, r23, r2 >> 128 */
+0x58616700,	/* mul128 r24, r7l, r11l */
+0x59e56700,	/* mul128 r25, r7u, r11u */
+0x58896700,	/* mul128 r2, r7u, r11l */
+0x50605810,	/* add r24, r24, r2 << 128 */
+0x50e45990,	/* addc r25, r25, r2 >> 128 */
+0x59096700,	/* mul128 r2, r7l, r11u */
+0x50605810,	/* add r24, r24, r2 << 128 */
+0x50e45990,	/* addc r25, r25, r2 >> 128 */
+0x58698800,	/* mul128 r26, r8l, r12l */
+0x59ed8800,	/* mul128 r27, r8u, r12u */
+0x58898800,	/* mul128 r2, r8u, r12l */
+0x50685a10,	/* add r26, r26, r2 << 128 */
+0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
+0x59098800,	/* mul128 r2, r8l, r12u */
+0x50685a10,	/* add r26, r26, r2 << 128 */
+0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
+0x5871a900,	/* mul128 r28, r9l, r13l */
+0x59f5a900,	/* mul128 r29, r9u, r13u */
+0x5889a900,	/* mul128 r2, r9u, r13l */
+0x50705c10,	/* add r28, r28, r2 << 128 */
+0x50f45d90,	/* addc r29, r29, r2 >> 128 */
+0x5909a900,	/* mul128 r2, r9l, r13u */
+0x50705c10,	/* add r28, r28, r2 << 128 */
+0x50f45d90,	/* addc r29, r29, r2 >> 128 */
+0x58016600,	/* mul128 r0, r6l, r11l */
+0x59856600,	/* mul128 r1, r6u, r11u */
+0x58896600,	/* mul128 r2, r6u, r11l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59096600,	/* mul128 r2, r6l, r11u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x58014700,	/* mul128 r0, r7l, r10l */
+0x59854700,	/* mul128 r1, r7u, r10u */
+0x58894700,	/* mul128 r2, r7u, r10l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59094700,	/* mul128 r2, r7l, r10u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x50e47900,	/* addc r25, r25, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x58018600,	/* mul128 r0, r6l, r12l */
+0x59858600,	/* mul128 r1, r6u, r12u */
+0x58898600,	/* mul128 r2, r6u, r12l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59098600,	/* mul128 r2, r6l, r12u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x58014800,	/* mul128 r0, r8l, r10l */
+0x59854800,	/* mul128 r1, r8u, r10u */
+0x58894800,	/* mul128 r2, r8u, r10l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59094800,	/* mul128 r2, r8l, r10u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x50e87a00,	/* addc r26, r26, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x5801a600,	/* mul128 r0, r6l, r13l */
+0x5985a600,	/* mul128 r1, r6u, r13u */
+0x5889a600,	/* mul128 r2, r6u, r13l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x5909a600,	/* mul128 r2, r6l, r13u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x58018700,	/* mul128 r0, r7l, r12l */
+0x59858700,	/* mul128 r1, r7u, r12u */
+0x58898700,	/* mul128 r2, r7u, r12l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59098700,	/* mul128 r2, r7l, r12u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x58014900,	/* mul128 r0, r9l, r10l */
+0x59854900,	/* mul128 r1, r9u, r10u */
+0x58894900,	/* mul128 r2, r9u, r10l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59094900,	/* mul128 r2, r9l, r10u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x58016800,	/* mul128 r0, r8l, r11l */
+0x59856800,	/* mul128 r1, r8u, r11u */
+0x58896800,	/* mul128 r2, r8u, r11l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59096800,	/* mul128 r2, r8l, r11u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x50ec7b00,	/* addc r27, r27, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x5801a700,	/* mul128 r0, r7l, r13l */
+0x5985a700,	/* mul128 r1, r7u, r13u */
+0x5889a700,	/* mul128 r2, r7u, r13l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x5909a700,	/* mul128 r2, r7l, r13u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50681a00,	/* add r26, r26, r0 */
+0x50ec3b00,	/* addc r27, r27, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x58016900,	/* mul128 r0, r9l, r11l */
+0x59856900,	/* mul128 r1, r9u, r11u */
+0x58896900,	/* mul128 r2, r9u, r11l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59096900,	/* mul128 r2, r9l, r11u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50681a00,	/* add r26, r26, r0 */
+0x50ec3b00,	/* addc r27, r27, r1 */
+0x50f07c00,	/* addc r28, r28, r3 */
+0x50f7fd00,	/* addc r29, r29, r31 */
+0x5801a800,	/* mul128 r0, r8l, r13l */
+0x5985a800,	/* mul128 r1, r8u, r13u */
+0x5889a800,	/* mul128 r2, r8u, r13l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x5909a800,	/* mul128 r2, r8l, r13u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x506c1b00,	/* add r27, r27, r0 */
+0x50f03c00,	/* addc r28, r28, r1 */
+0x50f7fd00,	/* addc r29, r29, r31 */
+0x58018900,	/* mul128 r0, r9l, r12l */
+0x59858900,	/* mul128 r1, r9u, r12u */
+0x58898900,	/* mul128 r2, r9u, r12l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59098900,	/* mul128 r2, r9l, r12u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x506c1b00,	/* add r27, r27, r0 */
+0x50f03c00,	/* addc r28, r28, r1 */
+0x50f7fd00,	/* addc r29, r29, r31 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x263: function sqr4[117] { */
+#define CF_sqr4_adr 611
+0x5858c600,	/* mul128 r22, r6l, r6l */
+0x59dcc600,	/* mul128 r23, r6u, r6u */
+0x5888c600,	/* mul128 r2, r6u, r6l */
+0x50585610,	/* add r22, r22, r2 << 128 */
+0x50dc5790,	/* addc r23, r23, r2 >> 128 */
+0x50585610,	/* add r22, r22, r2 << 128 */
+0x50dc5790,	/* addc r23, r23, r2 >> 128 */
+0x5860e700,	/* mul128 r24, r7l, r7l */
+0x59e4e700,	/* mul128 r25, r7u, r7u */
+0x5888e700,	/* mul128 r2, r7u, r7l */
+0x50605810,	/* add r24, r24, r2 << 128 */
+0x50e45990,	/* addc r25, r25, r2 >> 128 */
+0x50605810,	/* add r24, r24, r2 << 128 */
+0x50e45990,	/* addc r25, r25, r2 >> 128 */
+0x58690800,	/* mul128 r26, r8l, r8l */
+0x59ed0800,	/* mul128 r27, r8u, r8u */
+0x58890800,	/* mul128 r2, r8u, r8l */
+0x50685a10,	/* add r26, r26, r2 << 128 */
+0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
+0x50685a10,	/* add r26, r26, r2 << 128 */
+0x50ec5b90,	/* addc r27, r27, r2 >> 128 */
+0x58712900,	/* mul128 r28, r9l, r9l */
+0x59f52900,	/* mul128 r29, r9u, r9u */
+0x58892900,	/* mul128 r2, r9u, r9l */
+0x50705c10,	/* add r28, r28, r2 << 128 */
+0x50f45d90,	/* addc r29, r29, r2 >> 128 */
+0x50705c10,	/* add r28, r28, r2 << 128 */
+0x50f45d90,	/* addc r29, r29, r2 >> 128 */
+0x5800e600,	/* mul128 r0, r6l, r7l */
+0x5984e600,	/* mul128 r1, r6u, r7u */
+0x5888e600,	/* mul128 r2, r6u, r7l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x5908e600,	/* mul128 r2, r6l, r7u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x50e47900,	/* addc r25, r25, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x58010600,	/* mul128 r0, r6l, r8l */
+0x59850600,	/* mul128 r1, r6u, r8u */
+0x58890600,	/* mul128 r2, r6u, r8l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59090600,	/* mul128 r2, r6l, r8u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x50e87a00,	/* addc r26, r26, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x58012600,	/* mul128 r0, r6l, r9l */
+0x59852600,	/* mul128 r1, r6u, r9u */
+0x58892600,	/* mul128 r2, r6u, r9l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59092600,	/* mul128 r2, r6l, r9u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x58010700,	/* mul128 r0, r7l, r8l */
+0x59850700,	/* mul128 r1, r7u, r8u */
+0x58890700,	/* mul128 r2, r7u, r8l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59090700,	/* mul128 r2, r7l, r8u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x50ec7b00,	/* addc r27, r27, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x58012700,	/* mul128 r0, r7l, r9l */
+0x59852700,	/* mul128 r1, r7u, r9u */
+0x58892700,	/* mul128 r2, r7u, r9l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59092700,	/* mul128 r2, r7l, r9u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x50681a00,	/* add r26, r26, r0 */
+0x50ec3b00,	/* addc r27, r27, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x50681a00,	/* add r26, r26, r0 */
+0x50ec3b00,	/* addc r27, r27, r1 */
+0x50f07c00,	/* addc r28, r28, r3 */
+0x50f7fd00,	/* addc r29, r29, r31 */
+0x58012800,	/* mul128 r0, r8l, r9l */
+0x59852800,	/* mul128 r1, r8u, r9u */
+0x58892800,	/* mul128 r2, r8u, r9l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x59092800,	/* mul128 r2, r8l, r9u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x506c1b00,	/* add r27, r27, r0 */
+0x50f03c00,	/* addc r28, r28, r1 */
+0x50f7fd00,	/* addc r29, r29, r31 */
+0x506c1b00,	/* add r27, r27, r0 */
+0x50f03c00,	/* addc r28, r28, r1 */
+0x50f7fd00,	/* addc r29, r29, r31 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x2d8: function dod0[15] { */
+#define CF_dod0_adr 728
+0x8c0c1100,	/* ld *3, *1 */
+0x58140100,	/* mul128 r5, r1l, r0l */
+0x58880100,	/* mul128 r2, r1u, r0l */
+0x50144510,	/* add r5, r5, r2 << 128 */
+0x59080100,	/* mul128 r2, r1l, r0u */
+0x50144510,	/* add r5, r5, r2 << 128 */
+0x5801c500,	/* mul128 r0, r5l, r14l */
+0x5985c500,	/* mul128 r1, r5u, r14u */
+0x5889c500,	/* mul128 r2, r5u, r14l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x5909c500,	/* mul128 r2, r5l, r14u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x2e7: function dod1[9] { */
+#define CF_dod1_adr 743
+0x5801e500,	/* mul128 r0, r5l, r15l */
+0x5985e500,	/* mul128 r1, r5u, r15u */
+0x5889e500,	/* mul128 r2, r5u, r15l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x5909e500,	/* mul128 r2, r5l, r15u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x2f0: function dod2[9] { */
+#define CF_dod2_adr 752
+0x58020500,	/* mul128 r0, r5l, r16l */
+0x59860500,	/* mul128 r1, r5u, r16u */
+0x588a0500,	/* mul128 r2, r5u, r16l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x590a0500,	/* mul128 r2, r5l, r16u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x2f9: function dod3[9] { */
+#define CF_dod3_adr 761
+0x58022500,	/* mul128 r0, r5l, r17l */
+0x59862500,	/* mul128 r1, r5u, r17u */
+0x588a2500,	/* mul128 r2, r5u, r17l */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x590a2500,	/* mul128 r2, r5l, r17u */
+0x50004010,	/* add r0, r0, r2 << 128 */
+0x50844190,	/* addc r1, r1, r2 >> 128 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x302: function redc4[97] { */
+#define CF_redc4_adr 770
+0x7c001600,	/* mov r0, r22 */
+0x080002d8,	/* call &dod0 */
+0x50581600,	/* add r22, r22, r0 */
+0x50dc3700,	/* addc r23, r23, r1 */
+0x50e3f800,	/* addc r24, r24, r31 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002e7,	/* call &dod1 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x50e49900,	/* addc r25, r25, r4 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002f0,	/* call &dod2 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x50e89a00,	/* addc r26, r26, r4 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002f9,	/* call &dod3 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x50ec9b00,	/* addc r27, r27, r4 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x7c001700,	/* mov r0, r23 */
+0x080002d8,	/* call &dod0 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x50e7f900,	/* addc r25, r25, r31 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002e7,	/* call &dod1 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x50e89a00,	/* addc r26, r26, r4 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002f0,	/* call &dod2 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x50ec9b00,	/* addc r27, r27, r4 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x080002f9,	/* call &dod3 */
+0x50681a00,	/* add r26, r26, r0 */
+0x50ec3b00,	/* addc r27, r27, r1 */
+0x50f07c00,	/* addc r28, r28, r3 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x7c001800,	/* mov r0, r24 */
+0x080002d8,	/* call &dod0 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x50ebfa00,	/* addc r26, r26, r31 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002e7,	/* call &dod1 */
+0x50641900,	/* add r25, r25, r0 */
+0x50e83a00,	/* addc r26, r26, r1 */
+0x50ec9b00,	/* addc r27, r27, r4 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002f0,	/* call &dod2 */
+0x50681a00,	/* add r26, r26, r0 */
+0x50ec3b00,	/* addc r27, r27, r1 */
+0x50f09c00,	/* addc r28, r28, r4 */
+0x5093e300,	/* addc r4, r3, r31 */
+0x080002f9,	/* call &dod3 */
+0x506c1b00,	/* add r27, r27, r0 */
+0x50f03c00,	/* addc r28, r28, r1 */
+0x50f49d00,	/* addc r29, r29, r4 */
+0x508fff00,	/* addc r3, r31, r31 */
+0x7c001900,	/* mov r0, r25 */
+0x080002d8,	/* call &dod0 */
+0x50641900,	/* add r25, r25, r0 */
+0x50d83a00,	/* addc r22, r26, r1 */
+0x50dffb00,	/* addc r23, r27, r31 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002e7,	/* call &dod1 */
+0x50581600,	/* add r22, r22, r0 */
+0x50dc3700,	/* addc r23, r23, r1 */
+0x50e09c00,	/* addc r24, r28, r4 */
+0x5093ff00,	/* addc r4, r31, r31 */
+0x080002f0,	/* call &dod2 */
+0x505c1700,	/* add r23, r23, r0 */
+0x50e03800,	/* addc r24, r24, r1 */
+0x50e49d00,	/* addc r25, r29, r4 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x080002f9,	/* call &dod3 */
+0x50601800,	/* add r24, r24, r0 */
+0x50e43900,	/* addc r25, r25, r1 */
+0x508fe300,	/* addc r3, r3, r31 */
+0x56007f00,	/* subx r0, r31, r3 */
+0x99680000,	/* strnd r26 */
+0x996c0000,	/* strnd r27 */
+0x99700000,	/* strnd r28 */
+0x99740000,	/* strnd r29 */
+0x5409d600,	/* sub r2, r22, r14 */
+0x54e9f700,	/* subb r26, r23, r15 */
+0x54ee1800,	/* subb r27, r24, r16 */
+0x54f23900,	/* subb r28, r25, r17 */
+0x66773c08,	/* selcx r29, r28, r25 */
+0x66731b08,	/* selcx r28, r27, r24 */
+0x666efa08,	/* selcx r27, r26, r23 */
+0x666ac208,	/* selcx r26, r2, r22 */
+0x0c000000,	/* ret */
+/* } */
+/* @0x363: function modexp_1024[101] { */
+#define CF_modexp_1024_adr 867
+0x7c081f00,	/* mov r2, r31 */
+0x80080006,	/* movi r2.0l, #6 */
+0x8088000a,	/* movi r2.1l, #10 */
+0x81880001,	/* movi r2.3l, #1 */
+0x8208000e,	/* movi r2.4l, #14 */
+0x82880016,	/* movi r2.5l, #22 */
+0x83080012,	/* movi r2.6l, #18 */
+0x97800200,	/* ldrfp r2 */
+0x7c001f00,	/* mov r0, r31 */
+0x8180ffff,	/* movi r0.3l, #65535 */
+0x84044000,	/* ldi r1, [#0] */
+0x40040100,	/* and r1, r1, r0 */
+0x48000000,	/* not r0, r0 */
+0x84084060,	/* ldi r2, [#3] */
+0x40080200,	/* and r2, r2, r0 */
+0x44082200,	/* or r2, r2, r1 */
+0x95800200,	/* lddmp r2 */
+0x05004004,	/* loop #4 ( */
+0x8c201b00,	/* ld *0++, *3++ */
+0x8c241a00,	/* ld *1++, *2++ */
+0x8c301800,	/* ld *4++, *0++ */
+0x8c381c00,	/* ld *6++, *4++ */
+/*		   ) */
+0x99780000,	/* strnd r30 */
+0x507bde00,	/* add r30, r30, r30 */
+0x080001ba,	/* call &mul4 */
+0x08000302,	/* call &redc4 */
+0x7c281a00,	/* mov r10, r26 */
+0x7c2c1b00,	/* mov r11, r27 */
+0x7c301c00,	/* mov r12, r28 */
+0x7c341d00,	/* mov r13, r29 */
+0x99180000,	/* strnd r6 */
+0x991c0000,	/* strnd r7 */
+0x99200000,	/* strnd r8 */
+0x99240000,	/* strnd r9 */
+0x05400033,	/* loop #1024 ( */
+0x08000263,	/* call &sqr4 */
+0x08000302,	/* call &redc4 */
+0x99180000,	/* strnd r6 */
+0x991c0000,	/* strnd r7 */
+0x99200000,	/* strnd r8 */
+0x99240000,	/* strnd r9 */
+0x7c181a00,	/* mov r6, r26 */
+0x7c1c1b00,	/* mov r7, r27 */
+0x7c201c00,	/* mov r8, r28 */
+0x7c241d00,	/* mov r9, r29 */
+0x080001ba,	/* call &mul4 */
+0x08000302,	/* call &redc4 */
+0x99000000,	/* strnd r0 */
+0x5002b500,	/* add r0, r21, r21 */
+0x99000000,	/* strnd r0 */
+0x50825200,	/* addc r0, r18, r18 */
+0x99480000,	/* strnd r18 */
+0x7c480000,	/* mov r18, r0 */
+0x99000000,	/* strnd r0 */
+0x50827300,	/* addc r0, r19, r19 */
+0x994c0000,	/* strnd r19 */
+0x7c4c0000,	/* mov r19, r0 */
+0x99000000,	/* strnd r0 */
+0x50829400,	/* addc r0, r20, r20 */
+0x99500000,	/* strnd r20 */
+0x7c500000,	/* mov r20, r0 */
+0x99000000,	/* strnd r0 */
+0x5082b500,	/* addc r0, r21, r21 */
+0x99540000,	/* strnd r21 */
+0x7c540000,	/* mov r21, r0 */
+0x99580000,	/* strnd r22 */
+0x995c0000,	/* strnd r23 */
+0x99600000,	/* strnd r24 */
+0x99640000,	/* strnd r25 */
+0x080001aa,	/* call &selA0orC4 */
+0x99180000,	/* strnd r6 */
+0x991c0000,	/* strnd r7 */
+0x99200000,	/* strnd r8 */
+0x99240000,	/* strnd r9 */
+0x99000000,	/* strnd r0 */
+0x50000000,	/* add r0, r0, r0 */
+0x4c001e00,	/* xor r0, r30, r0 */
+0x99780000,	/* strnd r30 */
+0x507bde00,	/* add r30, r30, r30 */
+0x4c781e00,	/* xor r30, r30, r0 */
+0x447a5e00,	/* or r30, r30, r18 */
+0x4c03c000,	/* xor r0, r0, r30 */
+0x641aca01,	/* sell r6, r10, r22 */
+0x641eeb01,	/* sell r7, r11, r23 */
+0x64230c01,	/* sell r8, r12, r24 */
+0x64272d01,	/* sell r9, r13, r25 */
+/*		   ) */
+0x7c281f00,	/* mov r10, r31 */
+0x80280001,	/* movi r10.0l, #1 */
+0x7c2c1f00,	/* mov r11, r31 */
+0x7c301f00,	/* mov r12, r31 */
+0x7c341f00,	/* mov r13, r31 */
+0x080001ba,	/* call &mul4 */
+0x08000302,	/* call &redc4 */
+0x5419da00,	/* sub r6, r26, r14 */
+0x549dfb00,	/* subb r7, r27, r15 */
+0x54a21c00,	/* subb r8, r28, r16 */
+0x54a63d00,	/* subb r9, r29, r17 */
+0x080001aa,	/* call &selA0orC4 */
+0x05004001,	/* loop #4 ( */
+0x90740d00,	/* st *5++, *5++ */
+/*		   ) */
+0x0c000000,	/* ret */
+/* } */
+#endif // CONFIG_DCRYPTO_RSA_SPEEDUP
+};
+/* clang-format on */