Constant TEE_ATTR_EDDSA_CTX 

pub const TEE_ATTR_EDDSA_CTX: u32 = 3489662531;