VOID __stdcall KiRequestTimer2Expiration(INT64 a1, CHAR a2){
unsigned int v2;
_KPRCB *v3;
v2 = KiClockTimerOwner;
v3 = *(&KiProcessorBlock + (unsigned int)KiClockTimerOwner);
if( (KiSetDpcRequestFlag((UINT16 *)&v3->12588, 8) & 0x29) == 0 )
{
if( KeGetCurrentPrcb() == v3 )
KiRequestSoftwareInterrupt(v3, 2);
else
KiSendSoftwareInterrupt(v2, 2u);
}
}