VOID __stdcall KeSetSystemTime(_LARGE_INTEGER *NewTime, _LARGE_INTEGER *OldTime, UINT64 Flags){
_DWORD v3[2];
_LARGE_INTEGER *v4;
__int128 v5;
__int64 v6;
v3[0] = 0;
v5 = 0i64;
v4 = NewTime;
*(_QWORD *)&v5 = OldTime;
v6 = 0i64;
v3[1] = Flags;
KeGenericCallDpc((__int64)KiSetSystemTimeDpc, (__int64)v3);
}