__int64 __fastcall VerifierKeInitializeEvent(VOID *a1, unsigned int a2, char a3){
__int64 v6;
VfUtilSynchronizationObjectSanityChecks(a1, 0x18u);
LOBYTE(v6) = a3;
return((__int64(__fastcall *)(VOID *, _QWORD, __int64))pXdvKeInitializeEvent)(a1, a2, v6);
}