diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-02 13:34:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-02 13:44:28 +0200 |
| commit | 08c91ab698c91dc4b8fbc597c03ac1ca10eb403c (patch) | |
| tree | 25b21743f0dea4e0910c69b2c91aac8aedc6c131 /executor | |
| parent | 9c995bedad0e93426b278929ab46f5fbab130b14 (diff) | |
sys: support ptr64 type
ptr64 is like ptr, but always takes 8 bytes of space.
Needed for some APIs. Unfortunately, most of these APIs
use buffer type, so we can't use ptr64 immidiately.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions