Constant tee_internal_impl::binding::TEE_ECC_CURVE_25519

pub const TEE_ECC_CURVE_25519: u32 = 768;