VOID __stdcall VerifierMmFreePagesFromMdl(_MDL *MemoryDescriptorList){
__int64 v2;
__int64 v3;
UINT64 v4;
VOID *retaddr;
ViMmValidateIrql((MmVerifierData & 0x20000) != 0);
v4 = -(__int64)MemoryDescriptorList->ByteCount;
if( (MmVerifierData & 0x1000) != 0 )
ViTargetAddToCounter(retaddr, 0xE0ui64, 0xE8ui64, v4);
((void(__fastcall *)(_MDL *, __int64, __int64, UINT64))pXdvMmFreePagesFromMdl)(MemoryDescriptorList, v2, v3, v4);
}