VOID __stdcall HalSendSoftwareInterrupt(UINT64 ProcessorNumber, INT64 RequestIrql, INT64 a3){
bool v3;
unsigned int v4;
__int128 v5;
__int64 v6;
v6 = 0i64;
v3 = (_BYTE)RequestIrql == 1;
v4 = 31;
v5 = 0i64;
DWORD2(v5) = ProcessorNumber;
LODWORD(v5) = 6;
if( !v3 )
v4 = 47;
HalpInterruptSendIpi(&v5, v4);
}