UINT64 __stdcall HalpMapPhysicalMemoryWriteThrough64(_LARGE_INTEGER PhysicalAddress, UINT8 FlushCurrentTLB, UINT8 a3){
UINT64 Protection;
LODWORD(Protection) = 4;
return HalpMap(PhysicalAddress, (_MEMORY_CACHING_TYPE)FlushCurrentTLB, MmNonCached, a3, Protection);
}