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