Constant TEE_ATTR_ED25519_PUBLIC_VALUE 

pub const TEE_ATTR_ED25519_PUBLIC_VALUE: u32 = 3489662787;