VOID __stdcall MiUpdatePagingFileMinimum(_MMPAGING_FILE *PagingFile, UINT64 ExtendedSize){
INT64 *v2;
KIRQL v5;
unsigned __int64 v6;
v2 = (INT64 *)((char *)PagingFile + 232);
v5 = ExAcquireSpinLockExclusive((PEX_SPIN_LOCK)PagingFile + 58);
*((_QWORD *)PagingFile + 2) += ExtendedSize;
v6 = v5;
ExReleaseSpinLockExclusiveFromDpcLevel(v2);
__writecr8(v6);
}