diff --git a/MCInst.c b/MCInst.c
index 50b589e..2c27f5e 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 f698599..7caccac 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 ecafc97..51ade5a 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 c99a371..2c2d680 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 ce498f2..cdd21c4 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 5129952..9b3609d 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 c5bb4d6..661d730 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 9dad8f3..5e8136e 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>