Constant optee_utee_sys::TEE_DATA_SEEK_END

source ยท 
pub const TEE_DATA_SEEK_END: u32 = 0x00000002;