INT64 __fastcall MiSubsectionNeedsExtents(_DWORD *a1){
__int64 v1;
KIRQL v3;
unsigned __int64 v4;
INT64 result;
v1 = *(_QWORD *)a1;
v3 = ExAcquireSpinLockExclusive((PEX_SPIN_LOCK)(*(_QWORD *)a1 + 72i64));
a1[13] |= 0x40000000u;
v4 = v3;
ExReleaseSpinLockExclusiveFromDpcLevel((INT64 *)(v1 + 72));
result = (unsigned int)KiIrqlFlags;
__writecr8(v4);
return result;
}