KiSendSoftwareInterrupt

VOID __stdcall KiSendSoftwareInterrupt(UINT64 Processor, UINT8 Level){
  INT64 v2; 
  struct _KPRCB *CurrentPrcb; 

  CurrentPrcb = KeGetCurrentPrcb();
  ++CurrentPrcb->SynchCounters.IpiSendSoftwareInterruptCount;
  HalSendSoftwareInterrupt(Processor, Level, v2);
}

Referenced by: