Home | History | Annotate | Download | only in windows_kernel
      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