VOID __stdcall MiLogRemoveWsleEvent(VOID *VirtualAddress, _WORKING_SET_TYPE WorkingSetType){
unsigned __int64 v2;
unsigned __int64 *v3;
int v4;
int v5;
v2 = 0i64;
MiFillPageExtraInfo(&v2, WorkingSetType, (__int64)VirtualAddress);
v5 = 0;
v3 = &v2;
v4 = 8;
EtwTraceKernelEvent((__int64)&v3, 1u, 0x28000000u, 0x283u, 0x11401B02u);
}