Constant optee_utee_sys::TEE_ISOCKET_VERSION

pub const TEE_ISOCKET_VERSION: u32 = 0x01000000;