VF_ASSERT_IRQL

VOID __stdcall VF_ASSERT_IRQL(UINT8 Irql){
  unsigned __int8 CurrentIrql; 
  ULONG_PTR v2; 
  ULONG_PTR Param4; 
  UINT64 v4; 

  CurrentIrql = KeGetCurrentIrql();
  if( CurrentIrql != Irql )
  {
    v2 = Irql;
    Param4 = CurrentIrql;
    ViHalPreprocessOptions(
      (UINT64 *)((char *)&qword_140C12CC4 + 4),
      (PSTR)"Bad IRQL -- needed %x, got %x.",
      0x10000013ui64,
      1ui64,
      Irql,
      CurrentIrql,
      v4);
    VfReportIssueWithOptions(0xE6ui64, 0x13u, 1u, v2, Param4, (UINT64 *)((char *)&qword_140C12CC4 + 4));
  }
}

Referenced by: