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 8extern "C" { 9#endif 10 11#include <capstone.h> 12 13void CAPSTONE_API cs_winkernel_free(void *ptr); 14void * CAPSTONE_API cs_winkernel_malloc(size_t size); 15void * CAPSTONE_API cs_winkernel_calloc(size_t n, size_t size); 16void * CAPSTONE_API cs_winkernel_realloc(void *ptr, size_t size); 17int 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