Constant sgx_types::_SGX_USWITCHLESS_WORKER_EVENT_NUM

pub const _SGX_USWITCHLESS_WORKER_EVENT_NUM: size_t = 4;