MiDeleteWorkingSetList

VOID __fastcall MiDeleteWorkingSetList(INT64 a1){
  void *v2; 
  v2 = *(void **)(a1 + 16);
  if( v2 )
  {
    if( (*(_BYTE *)(a1 + 184) & 7) == 0 )
      ExFreePoolWithTag(v2, 0);
    *(_QWORD *)(a1 + 16) = 0i64;
  }
}

Referenced by:

MiDeleteSessionAddressSpace
MmDeleteProcessAddressSpace