Constant TEE_ATTR_EDDSA_PREHASH 

pub const TEE_ATTR_EDDSA_PREHASH: u32 = 4026531844;