diff options
Diffstat (limited to 'executor/common_linux.h')
| -rw-r--r-- | executor/common_linux.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index 618425bed..39d2374d9 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -671,6 +671,7 @@ error: #if SYZ_EXECUTOR || SYZ_DEVLINK_PCI #include <fcntl.h> +#include <sched.h> static void initialize_devlink_pci(void) { |