diff options
Diffstat (limited to 'executor/common_linux.h')
| -rw-r--r-- | executor/common_linux.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index cc5c58950..ee31b2061 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -471,6 +471,7 @@ const int kInitNetNsFd = 239; // see kMaxFd #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI || SYZ_NET_DEVICES #include <linux/genetlink.h> +#include <stdbool.h> #define DEVLINK_FAMILY_NAME "devlink" @@ -600,6 +601,8 @@ error: } #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI +#include <fcntl.h> + static void initialize_devlink_pci(void) { #if SYZ_EXECUTOR |