diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/stubs.c | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/runtime/POSIX/stubs.c b/runtime/POSIX/stubs.c index 168bf299..5d27ac43 100644 --- a/runtime/POSIX/stubs.c +++ b/runtime/POSIX/stubs.c @@ -421,17 +421,24 @@ int umount2(const char *target, int flags) { int swapon(const char *path, int swapflags) __attribute__((weak)); int swapon(const char *path, int swapflags) { #else -int swapon(const char *path)__attribute__((weak)); -int swapon(const char *path) -{ +int swapon(const char *path) __attribute__((weak)); +int swapon(const char *path) { #endif klee_warning("ignoring (EPERM)"); errno = EPERM; return -1; } +#ifndef __FreeBSD__ +int swapoff(const char *path) __attribute__((weak)); +int swapoff(const char *path) { +#elif __FreeBSD__ < 13 int swapoff(const char *path) __attribute__((weak)); int swapoff(const char *path) { +#else +int swapoff(const char *path, u_int swapflags) __attribute__((weak)); +int swapoff(const char *path, u_int swapflags) { +#endif klee_warning("ignoring (EPERM)"); errno = EPERM; return -1; |