Symbol: session_mgr_close_session
usr/src/lib/pkcs11/pkcs11_tpm/common/new_host.c
621
rc = session_mgr_close_session(sess);
usr/src/lib/pkcs11/pkcs11_tpm/common/tpmtok_int.h
910
CK_RV session_mgr_close_session(SESSION *);