VOID __stdcall MiLockWorkingSetCoreExclusive(INT64 a1){
_MMSUPPORT_SHARED *SharedVm;
_QWORD *v2;
_KSPIN_LOCK_QUEUE *v3;
SharedVm = MiGetSharedVm((_MMSUPPORT_INSTANCE *)a1);
*v2 = 0i64;
SharedVm = (_MMSUPPORT_SHARED *)((char *)SharedVm + 64);
v2[1] = SharedVm;
KxAcquireQueuedSpinLock(v3, (UINT64 *)SharedVm);
}