VOID __stdcall MiUnlockControlAreaFileObjectShared(_CONTROL_AREA *ControlArea){
_ETHREAD *CurrentThread;
INT64 *v2;
CurrentThread = (_ETHREAD *)KeGetCurrentThread();
v2 = (INT64 *)((char *)ControlArea + 104);
if( _InterlockedCompareExchange64((volatile signed __int64 *)ControlArea + 13, 0i64, 17i64) != 17 )
ExfReleasePushLockShared(v2);
KeAbPostRelease(v2);
KiLeaveGuardedRegionUnsafe((__int64)CurrentThread);
}