Index: src/untrusted/pthread/pthread_types.h |
diff --git a/src/untrusted/pthread/pthread_types.h b/src/untrusted/pthread/pthread_types.h |
index d4c142190a418a4460c84cd60e483b20d997f1c2..53db9fb3e28320f8dc38169d9029a1557942d2d8 100644 |
--- a/src/untrusted/pthread/pthread_types.h |
+++ b/src/untrusted/pthread/pthread_types.h |
@@ -73,6 +73,7 @@ typedef struct __nc_basic_thread_data { |
pthread_cond_t join_condvar; |
/* Pointer to the tdb, will be null after the thread terminates. */ |
nc_thread_descriptor_t *tdb; |
+ pid_t native_tid; |
Mark Seaborn
2015/07/16 23:21:16
Not used now
Luis Héctor Chávez
2015/07/20 18:13:47
Done.
|
} nc_basic_thread_data_t; |
/* |