INT64 __stdcall MmBackSystemImageWithPagefile(PVOID AddressWithinSystemImage){
INT64 v1;
__int64 v3;
_ETHREAD *Lock;
unsigned int v5;
v3 = MiLookupDataTableEntry((unsigned __int64)AddressWithinSystemImage, 1i64, v1);
if( !v3 )
KeBugCheckEx(0x1Au, 0x1239ui64, (ULONG_PTR)AddressWithinSystemImage, 0i64, 0i64);
Lock = MmAcquireLoadLock();
v5 = MiBackSystemImageWithPagefile(v3);
MmReleaseLoadLock(Lock);
return v5;
}