UINT64 __fastcall HalpPciMapMmConfigPhysicalAddress(INT64 a1){
UINT64 v1;
if( HalpPciMmConfigVirtualAddress )
{
HalpRemapVirtualAddress64(HalpPciMmConfigVirtualAddress, a1, 1);
}
else
{
v1 = HalpMap((LARGE_INTEGER)a1, MmCached, 0);
HalpPciMmConfigVirtualAddress = v1;
}
return v1;
}