MiPfnDatabaseVaIsUnique

INT64 __fastcall MiPfnDatabaseVaIsUnique(UINT64 *a1){
  UINT64 v1; 
  INT64 result; 
  v1 = *a1;
  result = 1i64;
  if( (v1 & 1) == 0
    || qword_140C4EB08 != (PVOID)qword_140C4EB10 && (PVOID)((v1 >> 12) & 0xFFFFFFFFFi64) == qword_140C4EB08 )
  {
    return 0i64;
  }
  return result;
}

Referenced by:

MiGetNextNonGapPfnPage