Constant TEE_ECC_CURVE_BSI_P160t1 

pub const TEE_ECC_CURVE_BSI_P160t1: u32 = 513;