NTSTATUS __fastcall EtwpCovSampCaptureFlush(INT64 a1){
struct _SLIST_ENTRY result;
__int64 v4;
struct _KEVENT Event;
EtwpCovSampCaptureFlushSampleBuffers(a1);
memset((INT64)&result, 0i64);
result.Next = (_SLIST_ENTRY *)6941;
v4 = 4054171642i64;
KeInitializeEvent(&Event, NotificationEvent, 0);
EtwpCovSampCaptureQueueBuffer(a1, &result);
return KeWaitForSingleObject(&Event, Executive, 0, 0, 0i64);
}