UINT64 __stdcall IovInitializeTimer(UINT64 Minimum, UINT64 Maximum){
__int64 v2;
__int64 v3;
UINT64 v7;
v3 = v2;
if( (MmVerifierData & 0x10) != 0 && *(_QWORD *)(Minimum + 40) )
VerifierBugCheckIfAppropriate(0xC9ui64, 0xAu, Minimum, 0, 0, v7);
return((__int64(__fastcall *)(UINT64, UINT64, __int64))pXdvIoInitializeTimer)(Minimum, Maximum, v3);
}