MiIsDriverPage

_QWORD *__fastcall MiIsDriverPage(__int64 a1){
  unsigned __int64 v1; 
  _QWORD *v2; 
  unsigned __int64 v3; 
  _QWORD *v4; 
  unsigned __int8 v6; 

  v6 = 17;
  v1 = ((a1 << 25) - ((_QWORD)MmGetPteBase() << 25)) >> 16;
  MmLockLoadedModuleListShared(&v6);
  v2 = BugCheckParameter3;
  if( BugCheckParameter3 )
  {
    do
    {
      v3 = *(v2 - 23);
      if( v1 > v3 + (unsigned int)(*((_DWORD *)v2 - 42) - 1) )
      {
        v2 = (_QWORD *)v2[1];
      }
      else
      {
        if( v1 >= v3 )
          break;
        v2 = (_QWORD *)*v2;
      }
    }
    while( v2 );
  }
  v4 = v2 - 29;
  if( !v2 )
    v4 = 0i64;
  MmUnlockLoadedModuleListShared(v6);
  return v4;
}

Referenced by: