Constant TEE_ATTR_ED448_PUBLIC_VALUE

pub const TEE_ATTR_ED448_PUBLIC_VALUE: u32 = 3489660930;