UINT64 __stdcall PerfInfoLogIpiReceive(UINT64 SysCallReturnValue){
int v1;
__int64 v2;
UINT64 result;
INT64 v4;
__int64 v5;
int v6;
v6 = v1;
v5 = v2;
LODWORD(v4) = 4196866;
EtwTraceTimedEvent(3953, 0x40400000ui64, (INT64)&v5, 12i64, v4, SysCallReturnValue);
return result;
}