VOID __stdcall MiReturnSystemImageAddress(PVOID ImageAddress, UINT64 a2){
UINT64 v2;
_MMPTE *PteAddress;
UINT64 v4;
int SystemRegionType;
v2 = a2 >> 12;
PteAddress = MiGetPteAddress(ImageAddress);
SystemRegionType = MiGetSystemRegionType(v4);
MiReleaseDriverPtes(SystemRegionType == 1, PteAddress, (unsigned int)v2);
}