VOID __stdcall MiDereferenceControlArea(_CONTROL_AREA *ControlArea){
UINT8 v2;
v2 = ExAcquireSpinLockExclusive((INT64 *)&ControlArea->ControlAreaLock);
--ControlArea->NumberOfMappedViews;
--ControlArea->NumberOfUserReferences;
MiCheckControlArea(ControlArea, v2);
}