VOID __stdcall VerifierKeInitializeTimerEx(_KTIMER *Timer, _TIMER_TYPE Type){
VfUtilSynchronizationObjectSanityChecks(Timer, 0x40u);
if( (MmVerifierData & 0x400000) == 0 )
KeCheckForTimer(Timer, 0x40ui64);
((void(__fastcall *)(_KTIMER *, _QWORD))pXdvKeInitializeTimerEx)(Timer, (unsigned int)Type);
}