Constant TEE_ECC_CURVE_448 

pub const TEE_ECC_CURVE_448: u32 = 769;