MiBackSingleImageWithPagefile

VOID __stdcall MiBackSingleImageWithPagefile(_KLDR_DATA_TABLE_ENTRY *DataTableEntry){
  unsigned int v2; 
  _MMPTE **EndPte; 
  _MMPTE *FirstPte; 
  _MMPTE *LastPte; 

  LastPte = 0i64;
  FirstPte = 0i64;
  v2 = 0;
  do
  {
    v2 = MiSnapDriverRange(DataTableEntry, v2, 8ui64, 0i64, &FirstPte);
    if( FirstPte )
      MiMakeDriverPagesPrivate(DataTableEntry, FirstPte, LastPte, 4u, (UINT64)EndPte);
  }
  while( v2 );
  HIDWORD(DataTableEntry[1].GpValue) |= 2u;
}

Referenced by:

MiApplyHotPatchToLoadedDriver
MiBackSystemImageWithPagefile
MmLoadSystemImageEx