padlock_copy_ctx
padlock_copy_ctx(axf, ses->ses_ictx, &ctx);
padlock_copy_ctx(axf, ses->ses_octx, &ctx);