MiUpdatePagefilePeakUsage

void __fastcall MiUpdatePagefilePeakUsage(_QWORD *a1){
  unsigned __int64 v1; 
  v1 = *a1 - a1[3] - 1i64;
  if( a1[4] < v1 )
    a1[4] = v1;
}

Referenced by:

MiGatherPagefilePages
MiStoreWriteModifiedPages