UINT64 __fastcall HalpRemapVirtualAddress64(UINT64 a1, INT64 a2, CHAR a3){
*((_QWORD *)MmGetPteBase() + ((a1 >> 12) & 0xFFFFFFFFFi64)) = a2 & 0xFFFFFFFFF000i64 | (a3 != 0 ? 0x800000000000001Bui64 : 0x8000000000000003ui64);
__invlpg((void *)a1);
return a1;
}