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