tree d07fb7793dae46f15a3896ce49a5ba0fcec2d62b
parent fb67fae83a80d62de37249cad99149eda87ee3ce
author Aorimn <aorimn@gmail.com> 1454242590 +0100
committer Jaeden Amero <jaeden.amero@arm.com> 1528887710 +0100

Rename exported symbols to please check-names.sh

Exported symbols seem to need the "mbedtls_" prefix, which has been
added to be128 and gf128mul_x_ble.