Constant TEE_ATTR_FLAG_VALUE 

pub const TEE_ATTR_FLAG_VALUE: u32 = 536870912;