diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-04-27 13:15:05 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-04-27 17:43:05 +0200 |
| commit | d6b461d9bcc04628b6e782d80e373469bccef743 (patch) | |
| tree | f1d097ce063bab8f3a413ffbe2242ebde2d87f03 /executor/common.h | |
| parent | 1fa34c1b4ca31728acc7dfc7ec2f221443b8d40f (diff) | |
executor: allow external extensions of the setup phase
Allow common_ext.h to provide setup_ext() function that is called during VM setup.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/executor/common.h b/executor/common.h index ddb33bec7..b98dd3fc1 100644 --- a/executor/common.h +++ b/executor/common.h @@ -772,6 +772,9 @@ int main(void) /*{{{MMAP_DATA}}}*/ #endif +#if SYZ_HAVE_SETUP_EXT + setup_ext(); +#endif #if SYZ_SYSCTL setup_sysctl(); #endif |