Constant TEE_ATTR_FLAG_VALUE

pub const TEE_ATTR_FLAG_VALUE: u32 = 536870912;