Constant TEE_ATTR_EDDSA_PREHASH

pub const TEE_ATTR_EDDSA_PREHASH: u32 = 4026531844;