VOID __stdcall MiLogCombinedPteDelete(_MMPTE *ProtoPte){
_QWORD v1[2];
int v2;
int v3;
_QWORD *v4;
int v5;
int v6;
v3 = 0;
v4 = v1;
v6 = 0;
v1[0] = ProtoPte;
v1[1] = ProtoPte;
v2 = -1;
v5 = 24;
EtwTraceKernelEvent((__int64)&v4, 1u, 0x28000001u, 0x24Fu, 0x11401B02u);
}