pub const TEE_ATTR_ED25519_PRIVATE_VALUE: u32 = 3221227587;