VOID __stdcall HalRequestIpi(_IPI_TYPE IpiType, _KAFFINITY_EX *Affinity){
void *BugCheckParameter4;
int v3;
BugCheckParameter4 = (void *)(int)IpiType;
HalRequestIpiSpecifyVector(IpiType, Affinity, 0xE1ui64);
if( v3 < 0 )
KeBugCheckEx(0x5Cu, (PVOID)0x201, (PVOID)Controller, (PVOID)v3, BugCheckParameter4);
}