From 743bf536e0c14b4934c7d92cd5c749eef1baf258 Mon Sep 17 00:00:00 2001
From: tandasat <tanda.sat@gmail.com>
Date: Thu, 31 Mar 2016 18:00:59 -0700
Subject: [PATCH] Supported a WDK project

---
 myinttypes.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/myinttypes.h b/myinttypes.h
index fe61331d1d..4b6eaabad7 100644
--- a/myinttypes.h
+++ b/myinttypes.h
@@ -4,10 +4,10 @@
 #ifndef CS_MYINTTYPES_H
 #define CS_MYINTTYPES_H
 
-#if defined(CAPSTONE_HAS_OSXKERNEL) || (defined(_MSC_VER) && _MSC_VER <= 1700)
+#if defined(CAPSTONE_HAS_OSXKERNEL) || (defined(_MSC_VER) && (_MSC_VER <= 1700 || defined(_KERNEL_MODE)))
 // this system does not have inttypes.h
 
-#if defined(_MSC_VER) && _MSC_VER <= 1700
+#if defined(_MSC_VER) && (_MSC_VER <= 1700 || defined(_KERNEL_MODE))
 typedef signed char  int8_t;
 typedef signed short int16_t;
 typedef signed int   int32_t;