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