MiBytesToMapSystemImage

UINT8 __stdcall MiBytesToMapSystemImage(_FAST_MUTEX *FastMutex){
  unsigned __int64 v1; 
  unsigned __int64 v2; 
  unsigned __int64 v3; 

  v1 = ((unsigned __int64)&FastMutex[73].Count + 7) & 0xFFFFFFFFFFFFF000ui64;
  if( v1 < (unsigned __int64)FastMutex
    || (v2 = (((unsigned int)dword_140C4C9F0 + 3i64) & 0xFFFFFFFFFFFFFFFCui64) + v1, v2 < (unsigned __int64)FastMutex)
    || (v3 = (unsigned int)(dword_140C4C98C << 12) + v2, v3 < (unsigned __int64)FastMutex) )
  {
    LOBYTE(v3) = 0;
  }
  return v3;
}

Referenced by:

MiGetSystemAddressForImage
MiMapSystemImage
MiSelectImageBase
MiSessionInsertImage