Constant TEE_DATA_FLAG_OVERWRITE 

pub const TEE_DATA_FLAG_OVERWRITE: u32 = 0x00000400;