Constant TEE_DATA_SEEK_END 

pub const TEE_DATA_SEEK_END: u32 = 0x00000002;