78     VERIFY(osslBn != NULL);  in OsslToTpmBn()
85         VERIFY((unsigned)osslBn->width <= BnGetAllocated(bn));  in OsslToTpmBn()
205     VERIFY(osslTemp->width == (int)tpmTemp->size);  in MathLibraryCompatibilityCheck()
207         VERIFY(osslTemp->d[i] == tpmTemp->d[i]);  in MathLibraryCompatibilityCheck()
237     VERIFY(BN_mul(bnTemp, bnOp1, bnOp2, CTX));  in BnModMult()
238     VERIFY(BN_div(NULL, bnResult, bnTemp, bnMod, CTX));  in BnModMult()
239     VERIFY(OsslToTpmBn(result, bnResult));  in BnModMult()
266     VERIFY(BN_mul(bnTemp, bnA, bnB, CTX));  in BnMult()
267     VERIFY(OsslToTpmBn(result, bnTemp));  in BnMult()
299     VERIFY(BN_div(bnQ, bnR, bnDend, bnSor, CTX));  in BnDiv()
300     VERIFY(OsslToTpmBn(quotient, bnQ));  in BnDiv()
301     VERIFY(OsslToTpmBn(remainder, bnR));  in BnDiv()
334     VERIFY(BN_gcd(bnGcd, bn1, bn2, CTX));  in BnGcd()
335     VERIFY(OsslToTpmBn(gcd, bnGcd));  in BnGcd()
365     VERIFY(BN_mod_exp(bnResult, bnN, bnE, bnM, CTX));  in BnModExp()
366     VERIFY(OsslToTpmBn(result, bnResult));  in BnModExp()
393     VERIFY(BN_mod_inverse(bnResult, bnN, bnM, CTX) != NULL);  in BnModInverse()
394     VERIFY(OsslToTpmBn(result, bnResult));  in BnModInverse()
503         VERIFY(E->G != NULL);  in BnCurveInitialize()
508         VERIFY(P != NULL);  in BnCurveInitialize()
511         VERIFY(EC_POINT_set_affine_coordinates_GFp(E->G, P, bnX, bnY, CTX));  in BnCurveInitialize()
513         VERIFY(EC_GROUP_set_generator(E->G, P, bnN, bnH));  in BnCurveInitialize()