diff --git a/src/sim/syscall_emul.cc b/src/sim/syscall_emul.cc
index 98fbe96a0a..ba84250de6 100644
--- a/src/sim/syscall_emul.cc
+++ b/src/sim/syscall_emul.cc
@@ -1039,7 +1039,7 @@ getegidFunc(SyscallDesc *desc, int callnum, Process *process,
 SyscallReturn
 fallocateFunc(SyscallDesc *desc, int callnum, Process *p, ThreadContext *tc)
 {
-#if __linux__
+#if defined(__linux__)
     int index = 0;
     int tgt_fd = p->getSyscallArg(tc, index);
     int mode = p->getSyscallArg(tc, index);
diff --git a/src/sim/syscall_emul.hh b/src/sim/syscall_emul.hh
index 91db9ae49a..caa4d2cf39 100644
--- a/src/sim/syscall_emul.hh
+++ b/src/sim/syscall_emul.hh
@@ -59,10 +59,13 @@
 /// This file defines objects used to emulate syscalls from the target
 /// application on the host machine.
 
-#ifdef __linux__
+#if defined(__linux__)
 #include <sys/eventfd.h>
 #include <sys/statfs.h>
 
+#else
+#include <sys/mount.h>
+
 #endif
 
 #ifdef __CYGWIN32__
@@ -778,12 +781,12 @@ ioctlFunc(SyscallDesc *desc, int callnum, Process *p, ThreadContext *tc)
             return status;
           }
           case SIOCGIFFLAGS:
-#ifdef __linux__
+#if defined(__linux__)
           case SIOCGIFINDEX:
 #endif
           case SIOCGIFNETMASK:
           case SIOCGIFADDR:
-#ifdef __linux__
+#if defined(__linux__)
           case SIOCGIFHWADDR:
 #endif
           case SIOCGIFMTU: {
@@ -1515,7 +1518,7 @@ SyscallReturn
 statfsFunc(SyscallDesc *desc, int callnum, Process *process,
            ThreadContext *tc)
 {
-#ifdef __linux__
+#if defined(__linux__)
     std::string path;
 
     int index = 0;
@@ -2851,7 +2854,7 @@ template <class OS>
 SyscallReturn
 eventfdFunc(SyscallDesc *desc, int num, Process *p, ThreadContext *tc)
 {
-#ifdef __linux__
+#if defined(__linux__)
     int index = 0;
     unsigned initval = p->getSyscallArg(tc, index);
     int in_flags = p->getSyscallArg(tc, index);