Constant tee_internal::binding::TEE_ECC_CURVE_BSI_P512t1

pub const TEE_ECC_CURVE_BSI_P512t1: u32 = 519;