VOID __stdcall MiUnlockWorkingSetCoreExclusive(_KLOCK_QUEUE_HANDLE *a1){ KeReleaseInStackQueuedSpinLockFromDpcLevel(a1); }