Constant TEE_ISOCKET_VERSION 

pub const TEE_ISOCKET_VERSION: u32 = 0x01000000;