Constant TEE_ATTR_X25519_PRIVATE_VALUE 

pub const TEE_ATTR_X25519_PRIVATE_VALUE: u32 = 3221228100;