MiLockHotPatchPages

NTSTATUS __stdcall MiLockHotPatchPages(INT64 *a1, INT64 a2, INT64 a3, INT64 a4, INT64 a5){
  int v6; 
  INT64 v7; 
  unsigned int v8; 
  _MMSUPPORT_INSTANCE *AnyMultiplexedVm; 
  int v10; 
  __int64 v11; 

  v6 = a3;
  v7 = a2;
  AnyMultiplexedVm = MiGetAnyMultiplexedVm(MiWorkingSetTypeSystemViews, (VOID *)a2);
  if( v10 )
  {
    v11 = 4i64 * v8;
    do
    {
      RtlDetermineHotPatchExtent((unsigned int)a5);
      MiLockDriverPageRange(a1, (INT64)AnyMultiplexedVm, 0i64, 0i64, 1, 0i64);
      v7 += v11;
      --v6;
    }
    while( v6 );
  }
  return 0;
}

Referenced by:

MiPrepareDriverForHotPatch