KeBugCheckEx

VOID __stdcall __noreturn KeBugCheckEx(
        ULONG BugCheckCode,
        ULONG_PTR BugCheckParameter1,
        ULONG_PTR BugCheckParameter2,
        ULONG_PTR BugCheckParameter3,
        ULONG_PTR BugCheckParameter4){
  _QWORD *v5; 
  char *v6; 
  void *v7; 
  signed __int8 CurrentIrql; 
  __int64 v9; 
  char *retaddr; 
  UINT64 *TotalTransitions; 
  char v12; 
  TotalTransitions = *(UINT64 **)&BugCheckCode;
  _disable();
  RtlCaptureContext(*((PCONTEXT *)KeGetCurrentPrcb() + 4280));
  KiSaveProcessorControlState((_KPROCESSOR_STATE *)((char *)KeGetCurrentPrcb() + 256));
  v5 = (_QWORD *)*((_QWORD *)KeGetCurrentPrcb() + 4280);
  v5[16] = TotalTransitions;
  *(_QWORD *)((char *)v5 + 68) = v9;
  if( &byte_1403FA079 == retaddr )
  {
    v6 = &v12;
    v7 = KeBugCheck;
  }
  else
  {
    v6 = (char *)&retaddr;
    v7 = KeBugCheckEx;
  }
  v5[19] = v6;
  v5[31] = v7;
  CurrentIrql = KeGetCurrentIrql();
  __writegsbyte(0x8018u, CurrentIrql);
  if( CurrentIrql < 2 )
    __writecr8(2ui64);
  if( (v9 & 0x200) != 0 )
    _enable();
  _InterlockedIncrement(&KiHardwareTrigger);
  if( &byte_1403FA079 != retaddr )
    KeBugCheck2(TotalTransitions);
  KeBugCheck2(TotalTransitions);
}

Referenced by: