NTSTATUS __stdcall MiUnlockVadCore(INT64 a1, UINT8 a2){
signed __int32 v2;
signed __int32 v3;
NTSTATUS result;
v2 = *(_DWORD *)(a1 + 48);
do
{
v3 = v2;
v2 = _InterlockedCompareExchange((volatile signed __int32 *)(a1 + 48), v2 & 0xFFFFFFFC, v2);
}
while( v3 != v2 );
result = KiIrqlFlags;
__writecr8(a2);
return result;
}