NTSTATUS __stdcall VmpProcessContextCleanup(INT64 a1){ __int64 v1; v1 = *(_QWORD *)(a1 + 80); if( v1 ) NT_ASSERT("ReadNoFence64(&ProcessContext->PreallocateForRangeCreateCount) == 0"); return v1; }