| 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;
|
| } nc_basic_thread_data_t;
|
|
|
| /*
|
|
|