KiVerifyScopesExecute

VOID __stdcall KiVerifyScopesExecute(VOID *Parameter){
  int v1; 
  __int64(__fastcall **v2)(); 
  int v3; 
  __int64(__fastcall *v4)(); 
  void *BugCheckParameter4; 
  __int64 v6; 
  __int128 v7; 
  unsigned __int64 v8; 
  int v9; 
  int v10; 

  v10 = 0;
  v8 = 0i64;
  v9 = 0;
  v1 = KiVerifyPass;
  v6 = 0xFEFFFFFFFFFFFFFFui64;
  v7 = 0i64;
  if( !KiVerifyPass )
  {
    BugCheckParameter4 = (void *)v8;
    goto LABEL_10;
  }
  do
  {
    v2 = KiVerifyXcptRoutines;
    LODWORD(v7) = (v1 & 1) == 0;
    v3 = 0;
    do
    {
      v4 = *v2;
      *(_QWORD *)((char *)&v7 + 4) = 0i64;
      ((void(__fastcall *)(__int64 *))v4)(&v6);
      if( !DWORD2(v7) )
        KeBugCheckEx(0x14Du, (PVOID)v3, (PVOID)v1, (PVOID)SDWORD1(v7), 0i64);
      ++v3;
      BugCheckParameter4 = (void *)__ROL8__(v8 ^ SDWORD1(v7), BYTE4(v7) & 0x3F);
      ++v2;
      v8 = (unsigned __int64)BugCheckParameter4;
    }
    while( (__int64)v2 < (__int64)&qword_140D57148 );
    --v1;
  }
  while( v1 );
  if( BugCheckParameter4 != (void *)0x7493D5224FA9E69Ai64 )
LABEL_10:
    KeBugCheckEx(0x14Du, (PVOID)0xFFFFFFFFi64, 0i64, (PVOID)0x7493D5224FA9E69Ai64, BugCheckParameter4);
  KiVerifyPdata((PVOID)PsNtosImageBase);
  KiVerifyPdata(PsHalImageBase);
}

Referenced by: