Constant TEE_DATA_SEEK_SET 

pub const TEE_DATA_SEEK_SET: u32 = 0x00000000;