Constant TEE_TYPE_ED25519_KEYPAIR 

pub const TEE_TYPE_ED25519_KEYPAIR: u32 = 2701131843;