VOID __stdcall KdpSysGetVersion(_DBGKD_GET_VERSION64 *Version){
__int128 v1;
unsigned __int64 v2;
v1 = *(_OWORD *)&KdVersionBlock[16];
*(_OWORD *)&Version->MajorVersion = *(_OWORD *)KdVersionBlock;
v2 = *(_QWORD *)&KdVersionBlock[32];
*(_OWORD *)&Version->KernBase = v1;
Version->DebuggerDataList = v2;
}