gf128mul_x8_ble
gf128mul_x8_ble((le128 *)iv, (le128 *)iv);
void gf128mul_x8_ble(le128 *r, const le128 *x);
EXPORT_SYMBOL(gf128mul_x8_ble);