MiGetPagingFileOffset

NTSTATUS __stdcall MiGetPagingFileOffset(_MMPTE *PointerPte){
  unsigned __int64 v1; 
  __int64 v2; 

  LODWORD(v1) = MI_READ_PTE_LOCK_FREE((INT64)PointerPte);
  if( (v1 & 4) != 0 )
  {
    if( *(&stru_140C4DB30 + 42) )
    {
      if( (v1 & 0x10) != 0 )
        v1 &= ~0x10ui64;
      else
        v1 &= ~*(&stru_140C4DB30 + 42);
    }
    return HIDWORD(v1);
  }
  else
  {
    LODWORD(v2) = 0;
  }
  return v2;
}

Referenced by: