Constant TEE_ECC_CURVE_BSI_P384t1

pub const TEE_ECC_CURVE_BSI_P384t1: u32 = 518;