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.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