NTSTATUS __stdcall HalpMmZeroPageWithTemporaryMapping(INT64 a1){
_MMPTE *v1;
int v3[10];
v1 = MmGetPteBase() + 0xFFFFFFC00i64;
if( !v1 || (v1->u.Long & 1) != 0 )
return -1073741811;
v1->u.Long = a1 & 0xFFFFFFFFF000i64 | 0x8000000000000003ui64;
_InterlockedOr(v3, 0);
memset((VOID *)0xFFFFFFFFFFC00000i64, 0i64, 0x1000u);
v1->u.Long = 0i64;
HalpFlushTLB();
return 0;
}