Constant TEE_DATA_MAX_POSITION 

pub const TEE_DATA_MAX_POSITION: u32 = 0xFFFFFFFF;