INT64 __fastcall VerifierKeSynchronizeExecution(INT64 a1, INT64 a2, INT64 a3){
PVOID retaddr;
++dword_140C2A62C;
if( (MmVerifierData & 0x1000) != 0 )
ViTargetIncrementCounter(retaddr, 0xA0ui64);
ViKeRaiseIrqlSanityChecks(*(_BYTE *)(a1 + 93), 0i64);
return((__int64(__fastcall *)(INT64, INT64, INT64))pXdvKeSynchronizeExecution)(a1, a2, a3);
}