Constant TEE_DATA_MAX_POSITION 

pub const TEE_DATA_MAX_POSITION: u32 = 4294967295;