Constant tee_internal_impl::binding::TEE_ECC_CURVE_BSI_P512r1

pub const TEE_ECC_CURVE_BSI_P512r1: u32 = 263;