Constant TEE_ECC_CURVE_BSI_P192r1 

pub const TEE_ECC_CURVE_BSI_P192r1: u32 = 258;