@@ -249,10 +249,6 @@ typedef struct {
const char * ms_pathname;
} ms_ocall_delete_t;
-typedef struct {
- unsigned int ms_tid;
-} ms_ocall_schedule_t;
-
typedef struct {
sgx_spid_t ms_spid;
const char* ms_subkey;