diff options
Diffstat (limited to 'executor/executor_linux.h')
| -rw-r--r-- | executor/executor_linux.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/executor/executor_linux.h b/executor/executor_linux.h index 54246bda9..630ceb81f 100644 --- a/executor/executor_linux.h +++ b/executor/executor_linux.h @@ -95,9 +95,11 @@ static void cover_protect(cover_t* cov) { } +#if SYZ_EXECUTOR_USES_SHMEM static void cover_unprotect(cover_t* cov) { } +#endif static void cover_mmap(cover_t* cov) { @@ -158,6 +160,7 @@ static void cover_collect(cover_t* cov) cov->size = *(uint32*)cov->data; } +#if SYZ_EXECUTOR_USES_SHMEM static bool use_cover_edges(uint32 pc) { return true; @@ -176,6 +179,7 @@ static bool use_cover_edges(uint64 pc) #endif return true; } +#endif static bool detect_kernel_bitness() { |