Constant optee_utee_sys::TEE_DATA_MAX_POSITION

pub const TEE_DATA_MAX_POSITION: u32 = 0xFFFFFFFF;