VOID __stdcall MiLogRemoveWsleEvent(PVOID VirtualAddress, INT64 WorkingSetType, PVOID a3){
UINT64 Flag;
UINT64 v4;
EVENT_DATA_DESCRIPTOR EventData;
v4 = 0i64;
MiFillPageExtraInfo(&v4, WorkingSetType, (INT64)VirtualAddress);
EventData.Reserved = 0;
EventData.Ptr = (unsigned __int64)&v4;
EventData.Size = 8;
LODWORD(Flag) = 289413890;
EtwTraceKernelEvent(&EventData, 1ui64, 0x28000000ui64, 0x283u, Flag);
}