Constant TEE_ECC_CURVE_NIST_P256 

pub const TEE_ECC_CURVE_NIST_P256: u32 = 0x00000003;