INT64 __fastcall ObpIncrPointerCountEx(volatile INT64 *a1, INT64 a2){ __int64 v2; v2 = _InterlockedExchangeAdd64(a1, (int)a2); if( v2 <= 0 ) KeBugCheckEx(0x18u, 0i64, (ULONG_PTR)(a1 + 6), 0x10ui64, (int)a2 + v2); return(int)a2 + v2; }