VOID __stdcall PopTraceCr3Mitigated(UINT64 GenerationId){
int v1;
int v2;
_EVENT_DATA_DESCRIPTOR v3;
int *v4;
int v5;
int v6;
if( *(&stru_140C00F40 + 1194) > 5u )
{
if( tlgKeywordOn((__int64)&stru_140C00F40 + 4776, 0x400000000000i64) )
{
v6 = 0;
v4 = &v2;
v2 = v1;
v5 = 4;
tlgWriteTransfer_EtwWriteTransfer(
(__int64)&stru_140C00F40 + 4776,
(unsigned __int8 *)byte_14002717B,
0i64,
0i64,
3u,
&v3);
}
}
}