Constant TEE_TYPE_ED25519_PUBLIC_KEY 

pub const TEE_TYPE_ED25519_PUBLIC_KEY: u32 = 2684354627;