Constant sgx_types::types::TEE_TCB_INFO_SIZE

pub const TEE_TCB_INFO_SIZE: usize = 239;