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