VOID __fastcall ViAvlReleaseTableLockFromDpcLevel(INT64 a1, INT64 a2){
INT64 *v2;
v2 = (INT64 *)(a1 + 128);
if( (*(_BYTE *)(a2 + 9) & 4) != 0 )
ExReleaseSpinLockExclusiveFromDpcLevel(v2);
else
ExReleaseSpinLockSharedFromDpcLevel((PEX_SPIN_LOCK)v2);
*(_BYTE *)(a2 + 9) &= ~2u;
*(_QWORD *)a2 = 0i64;
}