diff options
| author | Denis Efremov <efremov@linux.com> | 2019-11-19 12:58:39 +0300 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-11-19 11:38:19 +0100 |
| commit | e9c47538a4823830bc493b0137ea889f46452cf7 (patch) | |
| tree | 3d1c9cdad5dbbca4ebdfdfc5344a489bd34704f5 /pkg/csource/generated.go | |
| parent | 432c7650d538c5de1633ec3f081a18b8b9088c3a (diff) | |
executor: add missing includes
stdbool.h is required by initialize_devlink_ports(): true define.
fcntl.h is required by initialize_devlink_pci(): O_RDONLY define.
Signed-off-by: Denis Efremov <efremov@linux.com>
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 cc75000d5..b76544da2 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -1496,6 +1496,7 @@ const int kInitNetNsFd = 239; #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI || SYZ_NET_DEVICES #include <linux/genetlink.h> +#include <stdbool.h> #define DEVLINK_FAMILY_NAME "devlink" @@ -1625,6 +1626,8 @@ error: } #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI +#include <fcntl.h> + static void initialize_devlink_pci(void) { #if SYZ_EXECUTOR |