void __fastcall KiSendHeteroRescheduleIntRequest(_QWORD *a1){
_QWORD *v2;
__int64 v3;
char v4;
char v5;
v2 = (_QWORD *)a1[24];
if( (v2[1] & a1[4235]) != 0i64 )
{
v3 = a1[25];
if( (v3 & *v2) != 0 && (v3 & v2[27]) != 0 )
{
KiSendHeteroRescheduleIntRequestHelper();
if( v4 )
{
KiSendHeteroRescheduleIntRequestHelper();
if( !v5 )
KiSendHeteroRescheduleIntRequestHelper();
}
}
}
}