MmCheckMapIoSpace

VOID __stdcall MmCheckMapIoSpace(_LARGE_INTEGER PhysicalAddress, UINT64 a2){
  unsigned __int64 v2; 
  UINT64 v3; 
  signed __int64 v6; 
  UINT64 v7; 
  v2 = (unsigned __int64)PhysicalAddress.QuadPart >> 12;
  v3 = ((PhysicalAddress.LowPart & 0xFFF) + a2 + 4095) >> 12;
  v6 = 48 * ((unsigned __int64)PhysicalAddress.QuadPart >> 12);
  do
  {
    if( (unsigned int)MiIsPfn(v2) == 1 && !*(_WORD *)((char *)MmGetPfnDb() + v6 + 32) )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x83ui64, PhysicalAddress.QuadPart, a2, v6 / 48, v7);
    v6 += 48i64;
    ++v2;
    --v3;
  }
  while( v3 );
}

Referenced by: