VOID __stdcall DbgkpTriageDumpSaveState(VOID *DumpObject){
__int64 v1;
v1 = *(_QWORD *)DumpObject;
*((_DWORD *)DumpObject + 3) = *((_DWORD *)DumpObject + 6);
*((_DWORD *)DumpObject + 4) = *(_DWORD *)(v1 + 8312);
*((_DWORD *)DumpObject + 5) = *(_DWORD *)(v1 + 8316);
}