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