VOID __stdcall EtwTraceCpuCacheFlush(
_ETW_KERNEL_TRACE_TIMESTAMP *TimeStamp,
VOID *Address,
UINT64 Bytes,
UINT8 Clean,
UINT8 Rectangle,
UINT8 a6){
UINT64 Flag;
_QWORD v7[2];
UINT8 v8;
__int16 v9;
char v10;
int v11;
v7[0] = Address;
v7[1] = Bytes;
v8 = Clean;
v9 = 0;
v10 = 0;
v11 = 0;
LODWORD(Flag) = 22026754;
EtwTraceTimedEvent(0xF63u, 0x84000000ui64, v7, 0x18ui64, Flag, TimeStamp);
}