VOID *__stdcall VerifierMmMapIoSpaceEx(LARGE_INTEGER PhysicalAddress, UINT64 NumberOfBytes, UINT64 Protect){
unsigned int v3;
VOID *result;
PVOID retaddr;
v3 = Protect;
if( (MmVerifierData & 0x400000) != 0 )
VfCheckPageProtection((unsigned int)Protect, retaddr);
MmMapIoSpaceEx(PhysicalAddress, NumberOfBytes, v3);
return result;
}