NTSTATUS __stdcall VerifierKeSetEvent(ULONG_PTR Event, UINT8 Wait, UINT8 a3){
unsigned int v4;
__int64 v5;
unsigned __int8 CurrentIrql;
__int64 v7;
UINT64 v9;
v4 = Wait;
v5 = *(_QWORD *)&Event;
if( (MmVerifierData & 0x800) != 0 )
{
VfUtilCheckKernelAddress(*(VOID **)&Event, 0x18u);
CurrentIrql = KeGetCurrentIrql();
if( CurrentIrql > 2u )
VerifierBugCheckIfAppropriate(0xC4ui64, 0x80u, CurrentIrql, v5, 0, v9);
}
LOBYTE(v7) = a3;
return((__int64(__fastcall *)(__int64, _QWORD, __int64))pXdvKeSetEvent)(v5, v4, v7);
}