Symbol: ossl_ec_GFp_nistp384_points_mul