diff --git a/MCInst.c b/MCInst.c
index 50b589e36..2c27f5e68 100644
--- a/MCInst.c
+++ b/MCInst.c
@@ -2,6 +2,7 @@
 /* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2014 */
 
 #if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
 #include <libkern/libkern.h>
 #else
 #include <stdio.h>
diff --git a/SStream.c b/SStream.c
index f698599a3..7caccac11 100644
--- a/SStream.c
+++ b/SStream.c
@@ -6,6 +6,7 @@
 #endif
 #include <stdarg.h>
 #if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
 #include <libkern/libkern.h>
 #include <i386/limits.h>
 #else
diff --git a/arch/X86/X86ATTInstPrinter.c b/arch/X86/X86ATTInstPrinter.c
index ecafc971b..51ade5a30 100644
--- a/arch/X86/X86ATTInstPrinter.c
+++ b/arch/X86/X86ATTInstPrinter.c
@@ -23,6 +23,7 @@
 #endif
 #include <platform.h>
 #if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
 #include <libkern/libkern.h>
 #else
 #include <stdio.h>
diff --git a/arch/X86/X86Disassembler.c b/arch/X86/X86Disassembler.c
index c99a37198..2c2d68075 100644
--- a/arch/X86/X86Disassembler.c
+++ b/arch/X86/X86Disassembler.c
@@ -19,6 +19,10 @@
 
 #ifdef CAPSTONE_HAS_X86
 
+#if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
+#endif
+
 #include <string.h>
 
 #include "../../cs_priv.h"
diff --git a/arch/X86/X86IntelInstPrinter.c b/arch/X86/X86IntelInstPrinter.c
index ce498f210..cdd21c486 100644
--- a/arch/X86/X86IntelInstPrinter.c
+++ b/arch/X86/X86IntelInstPrinter.c
@@ -22,6 +22,7 @@
 #endif
 #include <platform.h>
 #if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
 #include <libkern/libkern.h>
 #else
 #include <stdio.h>
diff --git a/arch/X86/X86Mapping.c b/arch/X86/X86Mapping.c
index 512995215..9b3609d7c 100644
--- a/arch/X86/X86Mapping.c
+++ b/arch/X86/X86Mapping.c
@@ -3,6 +3,10 @@
 
 #ifdef CAPSTONE_HAS_X86
 
+#if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
+#endif
+
 #include <string.h>
 
 #include "X86Mapping.h"
diff --git a/cs.c b/cs.c
index c5bb4d623..661d7307a 100644
--- a/cs.c
+++ b/cs.c
@@ -5,6 +5,7 @@
 #pragma warning(disable:28719)		// disable MSVC's warning on strcpy()
 #endif
 #if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
 #include <libkern/libkern.h>
 #else
 #include <stddef.h>
diff --git a/utils.c b/utils.c
index 9dad8f3ec..5e8136ec3 100644
--- a/utils.c
+++ b/utils.c
@@ -2,6 +2,7 @@
 /* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2014 */
 
 #if defined(CAPSTONE_HAS_OSXKERNEL)
+#include <Availability.h>
 #include <libkern/libkern.h>
 #else
 #include <stdlib.h>