VOID __stdcall VerifierKeInitializeSemaphore(VOID *Semaphore, INT64 Limit, INT64 a3){
unsigned int v3;
unsigned int v4;
v3 = Limit;
v4 = a3;
VfUtilSynchronizationObjectSanityChecks(Semaphore, 0x20u);
((void(__fastcall *)(VOID *, _QWORD, _QWORD))pXdvKeInitializeSemaphore)(Semaphore, v3, v4);
}