VF_ASSERT_MAX_IRQL

VOID __stdcall VF_ASSERT_MAX_IRQL(UINT8 MaxIrql){
  unsigned __int8 CurrentIrql; 
  UINT64 Param4; 
  UINT64 v3; 
  CurrentIrql = KeGetCurrentIrql();
  if( CurrentIrql > 2u )
  {
    Param4 = CurrentIrql;
    ViHalPreprocessOptions(
      &dword_140C12CC4,
      (PSTR)"Bad IRQL -- needed %x or less, got %x.",
      0x10000013ui64,
      2ui64,
      2ui64,
      CurrentIrql,
      v3);
    VfReportIssueWithOptions(0xE6ui64, 0x13ui64, 2ui64, 2ui64, Param4, &dword_140C12CC4);
  }
}

Referenced by: