KiIpiSendPacket

VOID __stdcall KiIpiSendPacket(_IPI_TYPE IpiType, _KAFFINITY_EX *TargetSet, INT64 a3, INT64 a4, INT64 a5, INT64 a6){
  UINT64 v6; 
  _QWORD v7[5]; 

  v7[1] = a5;
  v7[3] = a3;
  v7[0] = a4;
  v7[2] = a6;
  KiIpiSendRequest(KeGetCurrentPrcb(), IpiType, TargetSet, (UINT64)v7, 5ui64, v6);
}

Referenced by: