VF_ASSERT_IRQL

VOID __stdcall VF_ASSERT_IRQL(UINT8 Irql){
  unsigned __int8 CurrentIrql; 
  unsigned int v2; 
  UINT64 Param4; 
  UINT64 v4; 
  CurrentIrql = KeGetCurrentIrql();
  if( CurrentIrql != Irql )
  {
    v2 = Irql;
    Param4 = CurrentIrql;
    ViHalPreprocessOptions(
      &byte_140C12CC8,
      (PSTR)"Bad IRQL -- needed %x, got %x.",
      0x10000013ui64,
      1ui64,
      Irql,
      CurrentIrql,
      v4);
    VfReportIssueWithOptions(0xE6ui64, 0x13ui64, 1ui64, v2, Param4, &byte_140C12CC8);
  }
}

Referenced by: