VOID __stdcall MiDereferenceControlAreaBySection(_CONTROL_AREA *ControlArea, UINT64 UserRef){
__int64 v3;
KIRQL v4;
v3 = (unsigned int)UserRef;
v4 = ExAcquireSpinLockExclusive((PEX_SPIN_LOCK)ControlArea + 18);
--*((_QWORD *)ControlArea + 3);
*((_QWORD *)ControlArea + 6) -= v3;
MiCheckControlArea(ControlArea, v4);
}