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