KiSendSoftwareInterrupt

VOID __stdcall KiSendSoftwareInterrupt(UINT64 Processor, UINT8 Level){
  INT64 v2; 
  struct _KPRCB *CurrentPrcb; 
  CurrentPrcb = KeGetCurrentPrcb();
  ++*((_DWORD *)CurrentPrcb + 8501);
  HalSendSoftwareInterrupt(Processor, Level, v2);
}

Referenced by: