diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index ccbdb1aa0..5b7371b1d 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -128,6 +128,7 @@ static bool flag_net_reset; static bool flag_cgroups; static bool flag_close_fds; static bool flag_devlink_pci; +static bool flag_vhci_injection; static bool flag_collect_cover; static bool flag_dedup_cover; @@ -490,6 +491,7 @@ void parse_env_flags(uint64 flags) flag_cgroups = flags & (1 << 9); flag_close_fds = flags & (1 << 10); flag_devlink_pci = flags & (1 << 11); + flag_vhci_injection = flags & (1 << 12); } #if SYZ_EXECUTOR_USES_FORK_SERVER |