tree 5715acb6a1d6b8b9ad300b7bf8a011d43e78199a
parent d7fce008c5e196bc6f883d24f66a97190df76f23
author Gilles Peskine <Gilles.Peskine@arm.com> 1496927960 +0200
committer Simon Butcher <simon.butcher@arm.com> 1501188273 +0100

MBEDTLS_NO_INT64_DIVISION -> MBEDTLS_NO_UDBL_DIVISION

Changed the option to disable the use of 64-bit division, to an option
to disable the use of double-width division, whether that's 64 or 128-bit.