VOID __stdcall VerifierIoFreeMdl(_MDL *Mdl){
UINT64 v2;
VfUtilCheckKernelAddress(Mdl, (unsigned __int16)Mdl->Size);
if( (MmVerifierData & 0x800) != 0 && (Mdl->MdlFlags & 0x11) == 1 )
VerifierBugCheckIfAppropriate(0xC4ui64, 0xB8u, (ULONG_PTR)Mdl, Mdl->MdlFlags, 0, v2);
((void(__fastcall *)(_MDL *))pXdvIoFreeMdl)(Mdl);
}