if ((ProductAD & 0xffffffff00000000) == 0) {\r
DwordB = (UINT32)Multiplicand;\r
\r
//\r
// b * c must be less than 2^32 or there would be bits set in the high 64-bits\r
//\r
if ((ProductAD & 0xffffffff00000000) == 0) {\r
DwordB = (UINT32)Multiplicand;\r
\r
//\r
// b * c must be less than 2^32 or there would be bits set in the high 64-bits\r
//\r
\r
if (!RETURN_ERROR (SafeUint64Add (UnsignedResult, ProductBD, &UnsignedResult))) {\r
*Result = UnsignedResult;\r
\r
if (!RETURN_ERROR (SafeUint64Add (UnsignedResult, ProductBD, &UnsignedResult))) {\r
*Result = UnsignedResult;\r