INT64 __fastcall HalpMmZeroPageWithTemporaryMapping(INT64 a1){
_BYTE *v1;
int v3[10];
v1 = (char *)MmGetPteBase() + 0x7FFFFFE000i64;
if( !v1 || (*v1 & 1) != 0 )
return 3221225485i64;
*(_QWORD *)v1 = a1 & 0xFFFFFFFFF000i64 | 0x8000000000000003ui64;
_InterlockedOr(v3, 0);
memset(-4194304i64, 0i64);
*(_QWORD *)v1 = 0i64;
HalpFlushTLB();
return 0i64;
}