Constant TEE_ATTR_FLAG_PUBLIC 

pub const TEE_ATTR_FLAG_PUBLIC: u32 = 268435456;