MmCheckMapIoSpace

VOID __stdcall MmCheckMapIoSpace(ULONG_PTR PhysicalAddress, ULONG_PTR NumberOfBytes){
  UINT64 v2; 
  unsigned __int64 v3; 
  __int64 v6; 
  int v7; 
  UINT64 v8; 

  v2 = *(_QWORD *)&PhysicalAddress >> 12;
  v3 = ((unsigned __int64)(PhysicalAddress & 0xFFF) + *(_QWORD *)&NumberOfBytes + 4095i64) >> 12;
  v6 = *(_QWORD *)&PhysicalAddress >> 12;
  do
  {
    MiIsPfn(v2);
    if( v7 == 1 && !MmGetPfnDb()[v6].u3.ReferenceCount )
      VerifierBugCheckIfAppropriate(0xC4ui64, 0x83u, PhysicalAddress, NumberOfBytes, v6 * 48 / 48, v8);
    ++v6;
    ++v2;
    --v3;
  }
  while( v3 );
}

Referenced by: