xref: /aosp_15_r20/external/capstone/contrib/windows_kernel/libc.h (revision 9a0e4156d50a75a99ec4f1653a0e9602a5d45c18)
1*9a0e4156SSadaf Ebrahimi /**
2*9a0e4156SSadaf Ebrahimi  * @file libc.h
3*9a0e4156SSadaf Ebrahimi  * @author created by: Peter Hlavaty
4*9a0e4156SSadaf Ebrahimi  */
5*9a0e4156SSadaf Ebrahimi 
6*9a0e4156SSadaf Ebrahimi #pragma once
7*9a0e4156SSadaf Ebrahimi 
8*9a0e4156SSadaf Ebrahimi #include <ntifs.h>
9*9a0e4156SSadaf Ebrahimi 
10*9a0e4156SSadaf Ebrahimi EXTERN_C
11*9a0e4156SSadaf Ebrahimi __drv_when(return!=0, __drv_allocatesMem(pBlock))
12*9a0e4156SSadaf Ebrahimi __checkReturn
13*9a0e4156SSadaf Ebrahimi __drv_maxIRQL(DISPATCH_LEVEL)
14*9a0e4156SSadaf Ebrahimi __bcount_opt(size)
15*9a0e4156SSadaf Ebrahimi void* __cdecl malloc(__in size_t size);
16*9a0e4156SSadaf Ebrahimi 
17*9a0e4156SSadaf Ebrahimi 
18*9a0e4156SSadaf Ebrahimi EXTERN_C
19*9a0e4156SSadaf Ebrahimi __drv_when(return != 0, __drv_allocatesMem(p))
20*9a0e4156SSadaf Ebrahimi __checkReturn
21*9a0e4156SSadaf Ebrahimi __drv_maxIRQL(DISPATCH_LEVEL)
22*9a0e4156SSadaf Ebrahimi __bcount_opt(size * n)
23*9a0e4156SSadaf Ebrahimi void* __cdecl calloc(size_t n, size_t size);
24*9a0e4156SSadaf Ebrahimi 
25*9a0e4156SSadaf Ebrahimi 
26*9a0e4156SSadaf Ebrahimi EXTERN_C
27*9a0e4156SSadaf Ebrahimi __drv_when(return!=0, __drv_allocatesMem(inblock))
28*9a0e4156SSadaf Ebrahimi __checkReturn
29*9a0e4156SSadaf Ebrahimi __drv_maxIRQL(DISPATCH_LEVEL)
30*9a0e4156SSadaf Ebrahimi __bcount_opt(size)
31*9a0e4156SSadaf Ebrahimi void* __cdecl realloc(__in_opt void* ptr, __in size_t size);
32*9a0e4156SSadaf Ebrahimi 
33*9a0e4156SSadaf Ebrahimi 
34*9a0e4156SSadaf Ebrahimi EXTERN_C
35*9a0e4156SSadaf Ebrahimi __drv_maxIRQL(DISPATCH_LEVEL)
36*9a0e4156SSadaf Ebrahimi void __cdecl free(__inout_opt __drv_freesMem(Mem) void* ptr);
37*9a0e4156SSadaf Ebrahimi 
38*9a0e4156SSadaf Ebrahimi 
39*9a0e4156SSadaf Ebrahimi int __cdecl vsnprintf(char *buffer, size_t count,
40*9a0e4156SSadaf Ebrahimi 	const char *format, va_list argptr);
41