diff options
| author | Anton Lindqvist <anton.lindqvist@gmail.com> | 2018-07-20 09:11:29 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-23 11:11:32 +0200 |
| commit | 3f17ab418afb3ad0916103629e8b3a8ceeb6c451 (patch) | |
| tree | 71f1ad0de8ecb92818264b0fe41b7ba0c82233e4 /executor/executor.h | |
| parent | f69c5fcd766adfb7894e1b0cd35f42c633f16419 (diff) | |
executor: add missing cover_size_ptr field
Diffstat (limited to 'executor/executor.h')
| -rw-r--r-- | executor/executor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/executor.h b/executor/executor.h index 1c4bfc523..6741a4baf 100644 --- a/executor/executor.h +++ b/executor/executor.h @@ -93,6 +93,7 @@ struct thread_t { osthread_t th; char* cover_data; char* cover_end; + uint64* cover_size_ptr; event_t ready; event_t done; |