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 /pkg/csource/generated.go | |
| 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 'pkg/csource/generated.go')
| -rw-r--r-- | pkg/csource/generated.go | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go index b9bdc1341..3891c4700 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -10741,6 +10741,9 @@ int main(void) /*{{{MMAP_DATA}}}*/ #endif +#if SYZ_HAVE_SETUP_EXT + setup_ext(); +#endif #if SYZ_SYSCTL setup_sysctl(); #endif |