VOID __fastcall VerifierKeInitializeSemaphore(_KSEMAPHORE *Semaphore, INT64 Count, INT64 Limit){
unsigned int v3;
unsigned int v4;
v3 = Count;
v4 = Limit;
VfUtilSynchronizationObjectSanityChecks(Semaphore, 0x20ui64);
((void(__fastcall *)(_KSEMAPHORE *, _QWORD, _QWORD))pXdvKeInitializeSemaphore)(Semaphore, v3, v4);
}