MiReturnPteMappingPair

VOID __stdcall MiReturnPteMappingPair(_MMPTE_COPY_LIST *PteCopyList){
  _KTBFLUSH_TYPE v1; 
  unsigned __int8 v2; 
  _QWORD *MmInternal; 

  v2 = *((_BYTE *)PteCopyList + 8);
  if( v2 == 17 )
  {
    MiReleasePtes((_MI_SYSTEM_PTE_TYPE *)((char *)&stru_140C4DB30 + 4432), *((_MMPTE **)PteCopyList + 2), 2ui64, v1);
  }
  else
  {
    MmInternal = KeGetCurrentPrcb()->MmInternal;
    if( MmInternal )
    {
      MmInternal[1543] = 0i64;
      v2 = *((_BYTE *)PteCopyList + 8);
    }
    __writecr8(v2);
  }
}

Referenced by: