__int64 __fastcall HalRequestIpi(int a1, _WORD *a2){
ULONG_PTR BugCheckParameter4;
__int64 result;
BugCheckParameter4 = a1;
result = HalRequestIpiSpecifyVector(a1, a2, 0xE1u);
if( (int)result < 0 )
KeBugCheckEx(0x5Cu, 0x201ui64, HalpInterruptController, (int)result, BugCheckParameter4);
return result;
}