1 /* Capstone Disassembly Engine */
2 /* By Satoshi Tanda <tanda.sat@gmail.com>, 2016 */
3 
4 #ifndef CS_WINDOWS_WINKERNEL_MM_H
5 #define CS_WINDOWS_WINKERNEL_MM_H
6 
7 #ifdef __cplusplus
8 extern "C" {
9 #endif
10 
11 #include <capstone/capstone.h>
12 
13 void CAPSTONE_API cs_winkernel_free(void *ptr);
14 void * CAPSTONE_API cs_winkernel_malloc(size_t size);
15 void * CAPSTONE_API cs_winkernel_calloc(size_t n, size_t size);
16 void * CAPSTONE_API cs_winkernel_realloc(void *ptr, size_t size);
17 int CAPSTONE_API cs_winkernel_vsnprintf(char *buffer, size_t count, const char *format, va_list argptr);
18 
19 #ifdef __cplusplus
20 }
21 #endif
22 
23 #endif  // CS_WINDOWS_WINKERNEL_MM_H
24