VOID __stdcall PerfInfoLogInterruptHv(INT64 a1, INT64 a2, INT64 a3){
UINT64 v3;
INT64 v4;
int v5;
int v6;
v6 = 0;
v4 = a1;
v5 = a2;
LODWORD(v3) = 4196866;
EtwTraceTimedEvent(0xF43u, 0x20004000ui64, &v4, 0xCui64, v3, (_ETW_KERNEL_TRACE_TIMESTAMP *)a3);
}