pub const TEE_ECC_CURVE_BSI_P320t1: u32 = 517;