INT64 __stdcall MiCopyFromDirectMapExtent(PVOID BugCheckParameter3){
__int64 v1;
_QWORD *v2;
__int64 v3;
INT64 *v4;
_QWORD *v5;
unsigned __int64 v7;
v4 = (INT64 *)(v1 + 48);
v5 = v2;
v7 = ((*(_DWORD *)(v1 + 24) & 0xFFF) + (unsigned __int64)*(unsigned int *)(v1 + 40) + 4095) >> 12;
for( *(_QWORD *)(v3 + 8) = v7 << 12; v7; --v7 )
{
MiFillPageWithImageExtentContents(BugCheckParameter3, *v4);
*v5 += 4096i64;
++v4;
}
return 0i64;
}