via_padlock_crypto_freesession
via_padlock_crypto_newsession, via_padlock_crypto_freesession, \
via_padlock_crypto_freesession(sc, sesn);
via_padlock_crypto_freesession(sc, sesn);
via_padlock_crypto_freesession(sc, sesn);
void via_padlock_crypto_freesession(void *, uint64_t);