Constant optee_utee_sys::TEE_DATA_SEEK_SET

pub const TEE_DATA_SEEK_SET: u32 = 0x00000000;