VF_ASSERT_MAX_IRQL

VOID __stdcall VF_ASSERT_MAX_IRQL(UINT8 MaxIrql){
  unsigned __int8 CurrentIrql; 
  ULONG_PTR Param4; 
  UINT64 v3; 

  CurrentIrql = KeGetCurrentIrql();
  if( CurrentIrql > 2u )
  {
    Param4 = CurrentIrql;
    ViHalPreprocessOptions(
      &qword_140C12CC4,
      (PSTR)"Bad IRQL -- needed %x or less, got %x.",
      0x10000013ui64,
      2ui64,
      2ui64,
      CurrentIrql,
      v3);
    VfReportIssueWithOptions(0xE6ui64, 0x13u, 2u, 2u, Param4, &qword_140C12CC4);
  }
}

Referenced by: