INT64 __fastcall HviCopyMemoryNonTemporal(INT64 a1, INT64 a2, UINT64 a3){
__int64 v3;
unsigned int i;
unsigned int v7;
v3 = 0i64;
for( i = a3; (unsigned int)v3 < i; v3 = (unsigned int)(v3 + 0x100000) )
{
v7 = i - v3;
if( i - (unsigned int)v3 > 0x100000 )
v7 = 0x100000;
HviEnterKernelAperture();
RtlCopyMemoryNonTemporal((void *)(v3 + a1), (const void *)(v3 + a2), v7);
HviLeaveKernelAperture();
}
return 0i64;
}