mvxpsec_freesession

1818

mvxpsec_newsession, mvxpsec_freesession, mvxpsec_dispatch, sc);

1823

mvxpsec_newsession, mvxpsec_freesession, mvxpsec_dispatch, sc);

1828

mvxpsec_newsession, mvxpsec_freesession, mvxpsec_dispatch, sc);

1835

mvxpsec_newsession, mvxpsec_freesession, mvxpsec_dispatch, sc);

1841

mvxpsec_newsession, mvxpsec_freesession, mvxpsec_dispatch, sc);

478

extern void mvxpsec_freesession(void *, uint64_t);