MiGetPteLink

NTSTATUS __stdcall MiGetPteLink(UINT64 a1){
  if( !a1 )
    return 0;
  if( *(&stru_140C4DB30 + 42) )
  {
    if( (a1 & 0x10) == 0 )
      a1 &= ~*(&stru_140C4DB30 + 42);
  }
  return a1 >> 28;
}

Referenced by:

InsertTailListPte
MiObtainSystemCacheView
MiReleaseSystemCacheView
MiWaitForSystemCacheViewFlush
MmMapViewInSystemCache
RemoveListEntryPte
RemoveListHeadPte