VOID __fastcall EtwTraceCpuCacheFlush(INT64 a1, INT64 a2, INT64 a3, CHAR a4){
INT64 v4;
_QWORD v5[2];
CHAR v6;
__int16 v7;
char v8;
int v9;
v5[0] = a2;
v5[1] = a3;
v6 = a4;
v7 = 0;
v8 = 0;
v9 = 0;
LODWORD(v4) = 22026754;
EtwTraceTimedEvent(3939, 0x84000000ui64, (INT64)v5, 24i64, v4, a1);
}