krb5_reinit_ef_handle
CK_SESSION_HANDLE krb5_reinit_ef_handle(krb5_context);
((ctx)->pid == __krb5_current_pid) ? (ctx)->hSession : krb5_reinit_ef_handle((ctx))
