MiBackSingleImageWithPagefile

__int64 __fastcall MiBackSingleImageWithPagefile(__int64 a1){
  unsigned int v2; 
  __int64 result; 
  char *v4; 
  char *v5; 
  v5 = 0i64;
  v4 = 0i64;
  v2 = 0;
  do
  {
    result = MiSnapDriverRange(a1, v2, 8, 0i64, &v4, &v5);
    v2 = result;
    if( v4 )
      result = MiMakeDriverPagesPrivate(a1, (unsigned __int64)v4, (unsigned __int64)v5, 4);
  }
  while( v2 );
  *(_DWORD *)(a1 + 196) |= 2u;
  return result;
}

Referenced by:

MiApplyHotPatchToLoadedDriver
MiBackSystemImageWithPagefile
MmLoadSystemImageEx