ViKeLowerIrqlSanityChecks

CHAR *__fastcall ViKeLowerIrqlSanityChecks(UINT8 a1, UINT8 a2){
  UINT64 v2; 
  UINT64 v3; 
  UINT64 v5; 
  v2 = a2;
  v3 = a1;
  if( (MmVerifierData & 2) != 0 )
  {
    if( a1 < a2 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x31ui64, a1, a2, 0i64, v5);
    if( (unsigned __int8)v3 >= 2u && (unsigned __int8)v2 < 2u && (*((_BYTE *)KeGetPcr() + 12972) & 1) != 0 )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x31ui64, v3, v2, 1ui64, v5);
    if( (unsigned __int8)v2 > 0xFu )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x31ui64, v3, v2, 0i64, v5);
  }
  return(CHAR *)VfKeIrqlTransitionReserveLogEntry(v3, v2);
}

Referenced by: