VOID __fastcall KiInitializeTimer2Data(CHAR a1, _BYTE *a2){
__int64 *v2;
__int64 v3;
v2 = qword_140C31A50;
v3 = 5i64;
do
{
*(v2 - 2) = 0i64;
*(v2 - 1) = 0i64;
*v2 = -1i64;
v2 += 3;
--v3;
}
while( v3 );
KiNextTimer2DueTime = -1i64;
}