VOID __fastcall KeInitializeCrashDumpHeader(
UINT64 DumpType,
UINT64 Flags,
VOID *Buffer,
UINT64 BufferSize,
UINT64 *BufferNeeded){
if( BufferNeeded )
*(_DWORD *)BufferNeeded = 0x2000;
if( (_DWORD)DumpType == 1 && !(_DWORD)Flags && (unsigned int)BufferSize >= 0x2000 )
IoFillDumpHeader((UINT32)Buffer, (PWSTR)1);
}