UINT64 __stdcall HalpRemapVirtualAddress64(UINT64 a1, INT64 a2, CHAR a3){
MmGetPteBase()[(a1 >> 12) & 0xFFFFFFFFFi64].u.Long = a2 & 0xFFFFFFFFF000i64 | (a3 != 0 ? 0x800000000000001Bui64 : 0x8000000000000003ui64);
__invlpg((void *)a1);
return a1;
}