do_soft_hmac_verify
CK_RV do_soft_hmac_verify(void **s, CK_BYTE_PTR pBuf, CK_ULONG ulBufLen,
rv = do_soft_hmac_verify(get_spp(&session_p->verify),