VOID __stdcall EtwpTraceWdf(VOID *EventData, UINT64 Size, UINT64 GroupMask, UINT16 HookId, UINT8 Version){
VOID *v5;
int v6;
int v7;
v7 = 0;
v5 = EventData;
v6 = Size;
EtwTraceKernelEvent((__int64)&v5, 1u, GroupMask, HookId, Version | 0x401800);
}